AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps

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.

[1]  Kristina Lundqvist,et al.  The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering , 2008, J. Univers. Comput. Sci..

[2]  Andrew Miga,et al.  Application of Use Case Maps to System Design With Tool Support , 1998 .

[3]  Jameleddine Hassine,et al.  Timed Use Case Maps , 2006, SAM.

[4]  Jameleddine Hassine,et al.  Early Schedulability Analysis with Timed Use Case Maps , 2009, SDL Forum.

[5]  Reinhard Gotzhein,et al.  System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers , 2006, SAM.

[6]  Jameleddine Hassine,et al.  Formal Verification of Use Case Maps with Real Time Extensions , 2007, SDL Forum.

[7]  Farn Wang.  Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings , 2005, FORTE.

[8]  Manindra Agrawal,et al.  FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science , 2002, Lecture Notes in Computer Science.

[9]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[10]  Margus Veanes,et al.  Modeling Software: From Theory to Practice , 2002, FSTTCS.

[11]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[12]  Egon Börger.  Specification and validation methods , 1995 .

[13]  Jameleddine Hassine,et al.  Abstract Operational Semantics for Use Case Maps , 2005, FORTE.

[14]  Daniel Amyot,et al.  Enhanced Use Case Map Traversal Semantics , 2007, SDL Forum.

[15]  Elvinia Riccobene,et al.  On formalizing UML state machines using ASM , 2004, Inf. Softw. Technol..

[16]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[17]  Jameleddine Hassine,et al.  Formal semantics and verification of use case maps , 2008 .

[18]  Margus Veanes,et al.  Abstract communication model for distributed systems , 2004, IEEE Transactions on Software Engineering.

[19]  Elie Najm,et al.  SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings , 2007, SDL Forum.