Skip to main content
SpringerLink
Log in
SpringerLink
Log in

AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps

  • Conference paper
Abstract State Machines, Alloy, B and Z (ABZ 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5977))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ITU-T: Draft recommendation Z.151, User Requirements Notation (URN) (2008)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. AsmL: Microsoft Research: The Abstract State Machine Language (2006), http://research.microsoft.com/foundations/AsmL/

  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)

    Chapter  Google Scholar 

  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. jUCMNav: jUCMNav Project (tool, documentation, and meta-model) (2006), http://jucmnav.softwareengineering.ca/twiki/bin/view/ProjetSEG/WebHome (Last accessed, October 2007)

  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)

    Chapter  Google Scholar 

  10. Hassine, J.: Formal Semantics and Verification of Use Case Maps. PhD thesis, Concordia University, Montreal, Quebec, Canada (2008)

    Google Scholar 

  11. Alur, R., Dill, D.L.: A theory of Timed Automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  13. Börger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASMs. Information and Software Technology 46(5), 287–292 (2004)

    Article  Google Scholar 

  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. Glässer, U., Gurevich, Y., Veanes, M.: Abstract communication model for distributed systems. IEEE Transactions on Software Engineering 30(7), 458–472 (2004)

    Article  Google Scholar 

  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)

    MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  18. SpecExplorer: Microsoft Research: Spec Explorer tool (2006), http://research.microsoft.com/specexplorer/

Download references

Author information

Authors and Affiliations

  1. Cisco Systems, 3000 Innovation Drive, Kanata, Ontario, K2K 3J9, Canada

    Jameleddine Hassine

Authors
  1. Jameleddine Hassine
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Département d’informatique, Sherbrooke, Université de Sherbrooke, J1K 2R1, Québec, Canada

    Marc Frappier

  2. School of Computing Science, Simon Fraser University, V5A 1S6, Burnaby, BC, Canada

    Uwe Glässer

  3. Department of Electrical and computer Engineering, University of Texas at Austin, 1 University Station C5000, 78712-0240, Austin, TX, USA

    Sarfraz Khurshid

  4. Département informatique, Route forestiére Hurtault, Université Paris-Est Créteil, IUT Sénart/Fontainebleau, 77300, Fontainebelau, France

    Régine Laleau

  5. Department of Computer Science, The University of Waikato, 3240, Hamilton, New Zealand

    Steve Reeves

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hassine, J. (2010). AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps. In: Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (eds) Abstract State Machines, Alloy, B and Z. ABZ 2010. Lecture Notes in Computer Science, vol 5977. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11811-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-11811-1_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-11810-4

  • Online ISBN: 978-3-642-11811-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation