TY - GEN
T1 - AsmL-based concurrency semantic variations for timed use case maps
AU - Hassine, Jameleddine
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/77950808416
U2 - 10.1007/978-3-642-11811-1_4
DO - 10.1007/978-3-642-11811-1_4
M3 - Conference contribution
AN - SCOPUS:77950808416
SN - 3642118100
SN - 9783642118104
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 34
EP - 46
BT - Abstract State Machines, Alloy, B and Z - Second International Conference, ABZ 2010, Proceedings
ER -