You are here: UCM Web>UCMVirtualLibrary>VirLibRe05 (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 work, a concise and rigorous formal semantics for Use Case Maps, defined in terms of Multi-Agent Abstract State Machines. The proposed formal semantics addresses UCM's operational semantics and provides a sound basis for executing UCM specifications using simulation tools and supporting formal verification.

-- 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 ASM Operational Semantics for Use Case Maps
Authors J. Hassine, J. Rilling, and R. Dssouli
Type Conference
Conference/Journal Title 13th IEEE International Requirement Engineering Conference (RE05)
Publisher IEEE CS Press
Month September
Year 2005
Pages 467-468
DOI 10.1109/RE.2005.10
Keywords Abstract State Machines, Semantics, Use Case Maps
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf Re05UcmAsm.pdf manage 65.3 K 04 Aug 2006 - 15:52 Daniel Amyot Pre-publication paper
Topic revision: r2 - 12 Nov 2009 - 18:27:53 - 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