The precise specification of communication systems is a crucial part of
their successful development and implementation. Different methodologies
for generating high-level formal specifications from informal requirements
have been used by researchers and industrial groups. This thesis proposes
an automatic approach, which is used for the early stages of the design
of communication systems.
In the first part of the thesis, we describe our automatic approach,
which is based on Use Case Maps for the capture and design of the
requirements and on LOTOS for simulation and validation.
In the second part of the thesis, we discuss the design of
two tools for our automatic approach. Ucm2LotosSpec
is a tool
that supports the automatic translation from UCMs to LOTOS
is a tool that generates LOTOS
scenarios from UCMs.
Finally, our proposed approach is applied to a case study of the Location
Based Service in the Wireless Intelligent Network, a standard that was
under development when this work was done. Stage 2 scenarios for this
standard are obtained from informal requirements represented by Use
Case Maps. It is concluded that our approach is feasible, based on this
experience carried out on a realistic example.
- 17 Oct 2005
- Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.
| Title || From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS |
| Authors || R. Guan |
| Type || Thesis |
| Conference/Journal Title || |
| Volume/Number || |
| Editors || |
| Publisher || SITE, University of Ottawa |
| Month || September |
| Year || 2002 |
| Pages || |
| DOI || |
| Keywords || LOTOS, tool, UCM, WIN |