Abstract

SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is based on two notations. The first notation, called Use Case Maps (UCMs), is used to capture functional requirements. UCMs can help reasoning about system-wide functionalities at a high level of abstraction before a prototype is generated. The second notation is the formal specification language LOTOS. UCM scenarios are translated into LOTOS specifications, which animate UCMs with the help of tools. LOTOS-based techniques, especially specification-level testing, can be used to validate designs. It is shown how SPEC-VALUE can help to produce better-quality designs and standards and to improve human understanding with reduced time and costs. A real-life case study is provided: the Group Call service of the mobile data system General Packet Radio Services (GPRS).

-- DanielAmyot - 05 Aug 2006

Discussion

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

FormForVirtualLibrary edit

Title Use Case Maps and LOTOS for the Prototyping and Validation of a Mobile Group Call System
Authors D. Amyot and L. Logrippo
Type Journal
Conference/Journal Title Computer Communications
Volume/Number 23(12)
Editors
Publisher Elsevier
Month July
Year 2000
Pages 1135-1157
DOI 10.1016/S0140-3664(99)00242-X
Keywords Causal Scenarios, LOTOS, Telecommunications Standards, Use Case Maps, Validation Testing.
Topic attachments
I Attachment Action Size Date Who Comment
ComCom2000.pdfpdf ComCom2000.pdf manage 444 K 05 Aug 2006 - 14:59 DanielAmyot  
Topic revision: r2 - 09 Nov 2009, CarlosVillar
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