Deriving a formal specification and a detailed design from informal requirements can be a tedious and error-prone task unless a methodical or rigorous approach is used. An increasing number of designers are interested in scenariodriven approaches that allow them to focus on the main functional aspects of the system to be specified. We present an approach where informal requirements are described with a use case notation called Use Case Map, and formal specifications and test cases are written in the process-algebraic language LOTOS. We present the approach by using an example: a Group Call service of the mobile data system GPRS. This work also aims to present ideas on how to integrate LOTOS and Use Case Maps in the ROOM methodology, and to discuss several strategies for scenario-based validation.

-- JeanFrancoisRoy - 18 Oct 2005


This paper applies the UCM-LOTOS design/validation approach to an example taken from mobile telephony: GSM's General Packet Radio Services. It also discusses relationships between UCMs, LOTOS and ROOM.

FormForVirtualLibrary edit

Title Formal Specification and Validation using a Scenario-Based Approach: The GPRS Group-Call Example
Authors D. Amyot, N. Hart, L. Logrippo, and P. Forhan
Type Conference
Conference/Journal Title Objec Time Workshop on Research in OO Real-Time Modeling
Editors Ottawa, Canada
Month January
Year 1998
Topic attachments
I Attachment Action Size Date Who Comment
wrroom98.pdfpdf wrroom98.pdf manage 157 K 17 Oct 2005 - 22:47 JeanFrancoisRoy Paper
Topic revision: r2 - 05 Aug 2006, 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