You are here: UCM Web>UCMVirtualLibrary>VirLibForte05 (12 Nov 2009)


Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITUíT’s family of languages. UCM models allow the description of functional requirements and high-level designs at early stages of the development process. Recognizing the importance of having a well defined semantic, we propose, in this paper, a concise and rigorous formal semantics for Use Case Maps (UCM). The proposed formal semantics addresses UCM's operational semantics and covers the key language functional constructs. These semantics are defined in terms of Multi-Agent Abstract State Machines that describes how UCM specifications are executed and eliminates ambiguities hidden in the informal language definition. The resulting operational semantics are embedded in an ASMUCM simulation engine and are expressed in Asm L?, an advanced ASM-based executable specification language. The proposed ASM-UCM engine provides an environment for executing and simulating UCM specifications. We illustrate our approach using an example of a simplified call connection.

-- Daniel Amyot - 04 Aug 2006


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

Form For Virtual Library edit

Title An Abstract Operational Semantics for Use Case Maps
Authors J. Hassine, J. Rilling, and R. Dssouli
Type Conference
Conference/Journal Title Formal Techniques for Networked and Distributed Systems (FORTE 2005); 25th IFIP WG 6.1 International Conference
Volume/Number 3731
Editors F. Wang
Publisher LNCS, Springer
Month October
Year 2005
Pages 366-380
DOI 10.1007/11562436_27
Keywords Use Case Maps, user requirements notation, abstract state machines, formal semantics, simulation, Asm L?
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf Forte05UcmAsml.pdf manage 193.6 K 04 Aug 2006 - 14:34 Daniel Amyot Pre-publication paper
Topic revision: r2 - 12 Nov 2009 - 18:27:03 - Saeed Behnam
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