AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps

  • Jameleddine Hassine
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5977)


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.


Operational Semantic Semantic Variation Active Edge Schedulability Analysis Class Agent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ITU-T: Draft recommendation Z.151, User Requirements Notation (URN) (2008)Google Scholar
  2. 2.
    Hassine, J., Rilling, J., Dssouli, R.: Timed Use Case Maps. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 99–114. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Hassine, J., Rilling, J., Dssouli, R.: Formal Verification of Use Case Maps with Real Time Extensions. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 225–241. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Hassine, J.: Early Schedulability Analysis with Timed Use Case Maps. In: Reed, R., Bilgic, A., Gotzhein, R. (eds.) SDL 2009, September 22-24. LNCS, vol. 5719, pp. 98–114. Springer, Heidelberg (2009)Google Scholar
  5. 5.
    AsmL: Microsoft Research: The Abstract State Machine Language (2006),
  6. 6.
    Hassine, J., Rilling, J., Dssouli, R.: Abstract Operational Semantics for Use Case Maps. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 366–380. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    Miga, A.: Application of Use Case Maps to system design with tool support. Master’s thesis, Dept. of Systems and Computer Engineering, Carleton University, Ottawa, Canada (1998)Google Scholar
  8. 8.
    jUCMNav: jUCMNav Project (tool, documentation, and meta-model) (2006), (Last accessed, October 2007)
  9. 9.
    Kealey, J., Amyot, D.: Enhanced Use Case Map Traversal Semantics. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 133–149. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Hassine, J.: Formal Semantics and Verification of Use Case Maps. PhD thesis, Concordia University, Montreal, Quebec, Canada (2008)Google Scholar
  11. 11.
    Alur, R., Dill, D.L.: A theory of Timed Automata. Theor. Comput. Sci. 126(2), 183–235 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer 1(1-2), 134–152 (1997)zbMATHCrossRefGoogle Scholar
  13. 13.
    Börger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASMs. Information and Software Technology 46(5), 287–292 (2004)CrossRefGoogle Scholar
  14. 14.
    Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)Google Scholar
  15. 15.
    Glässer, U., Gurevich, Y., Veanes, M.: Abstract communication model for distributed systems. IEEE Transactions on Software Engineering 30(7), 458–472 (2004)CrossRefGoogle Scholar
  16. 16.
    Ouimet, M., Lundqvist, K.: The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering. Journal of Universal Computer Science 14(12), 2007–2033 (2008)MathSciNetGoogle Scholar
  17. 17.
    Veanes, M.: Modeling software: From theory to practice. In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol. 2556, pp. 37–46. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  18. 18.
    SpecExplorer: Microsoft Research: Spec Explorer tool (2006),

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jameleddine Hassine
    • 1
  1. 1.Cisco SystemsKanataCanada

Personalised recommendations