Theoretical Computer Science
Evolving algebras 1993: Lipari guide
Specification and validation methods
Modeling Software: From Theory to Practice
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Formal semantics and verification of use case maps
Formal semantics and verification of use case maps
Enhanced use case map traversal semantics
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Formal verification of use case maps with real time extensions
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Early schedulability analysis with timed use case maps
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Abstract operational semantics for use case maps
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Exploring early availability requirements using use case maps
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Hi-index | 0.00 |
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.