Functional scenarios describing system views, uses, or services are a common way of capturing requirements
of telecommunication systems. However, integrating individual descriptions of telephony features in different
ways may result in different kinds of unexpected or undesirable interactions. Appropriate integration techniques can
hopefully lead to fewer such interactions. In this report, we first present how a collection of features integrated visually
through causal scenarios called Use Case Maps (UCMs) may help generating high-level LOTOS specifications.
Integrating UCMs together helps avoiding trivial and artificial interactions before any prototype is generated. Then,
we use the powerful testing concepts and tools of LOTOS to detect remaining undesirable interactions. To illustrate
these concepts, we capture and validate a subset of the telephony features from the First Feature Interaction Contest.
We discuss the results of this experiment, as well as strengths and weaknesses of our methodology.
- 17 Oct 2005
This report describes how telephony features (from the first Feature Interaction Contest) can be described with UCMs and validated in LOTOS in order to detect and avoid undesirable interactions.
| Title || Use Case Maps for the Design and the Validation of Interaction-Free Telephony Features |
| Authors || D. Amyot |
| Type || Other |
| Conference/Journal Title || CITO #1430 |
| Volume/Number || |
| Editors || |
| Publisher || |
| Month || November |
| Year || 1998 |
| Pages || |
| Keywords || Causal scenario, feature interaction, integration, LOTOS, specification-level validation, testing, Use Case|