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 specifications. Ucm2LotosScenarios 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.

-- DanielAmyot - 17 Oct 2005


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS
Authors R. Guan
Type Thesis
Conference/Journal Title
Publisher SITE, University of Ottawa
Month September
Year 2002
Keywords LOTOS, tool, UCM, WIN
Topic attachments
I Attachment Action Size Date Who Comment
rg_msc.pdfpdf rg_msc.pdf manage 628 K 17 Oct 2005 - 19:55 DanielAmyot  
Topic revision: r2 - 08 Mar 2010, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback