You are here: UCM Web>UCMVirtualLibrary>VirLibABZ10 (08 Mar 2010)


Scenario-driven requirement specifications are widely used to capture and represent high-level requirements. Timed Use Case Maps (TUCM) is a high level scenario based modeling technique that can be used to capture and integrate behavioral and time-related aspects at a high level of abstraction. The Timed Use Case Maps language assumes durational semantics which introduces semantic variation points when dealing with concurrent flows. In this paper, we introduce three AsmL-based operational semantics, making the semantic variation points of TUCM concurrent behavior explicit. The proposed semantics are illustrated using an example.


  • 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 Asm L?-Based Concurrency Semantic Variations for Timed Use Case Maps
Authors J. Hassine
Type Conference
Conference/Journal Title Abstract State Machines, Alloy, B and Z (ABZ 2010)
Volume/Number LNCS 5977
Publisher Springer
Month February
Year 2010
Pages 34-36
DOI 10.1007/978-3-642-11811-1_4
Keywords Timed Use Case Maps, TUCM, ASML, Semantics
Topic revision: r3 - 08 Mar 2010 - 13:32:12 - Daniel Amyot
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