Skip to main content
SpringerLink
Log in

An ASM Semantics of Token Flow in UML 2 Activity Diagrams

  • Conference paper
Perspectives of Systems Informatics (PSI 2006)

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

Abstract

The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are considered for the first time in a comprehensive and rigorous way. The formalisation provides insight into problems with the UML specification, and their solutions. It also serves as a basis for an integrated environment supporting the simulation and debugging of activity diagrams.

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. Object Management Group: UML 2.0 Superstructure Specification (2005)

    Google Scholar 

  2. Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)

    Google Scholar 

  3. Sarstedt, S.: Semantic Foundation and Tool Support for Model-Driven Development with UML 2 Activity Diagrams. PhD thesis, Universität Ulm (2006)

    Google Scholar 

  4. Gurevich, Y., Tillmann, N.: Partial updates: Exploration. Journal of Universal Computer Science 7(11), 917–951 (2001)

    MathSciNet  Google Scholar 

  5. Bock, C.: UML 2 activity and action models part 4: Object nodes. Journal of Object Technology 3(1), 27–41 (2004)

    Google Scholar 

  6. Hausmann, J.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. PhD thesis, Universität Paderborn (2005)

    Google Scholar 

  7. Sarstedt, S.: Overcoming the limitations of signal handling when simulating UML 2 activity charts. In: Feliz-Teixeira, J., Carvalho Brito, A. (eds.) Proceedings of the 2005 European Simulation and Modelling Conference (ESM’05), pp. 61–65 (2005)

    Google Scholar 

  8. Börger, E., Cavarra, A., Riccobene, E.: An ASM semantics for UML activity diagrams. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 293–308. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  9. Störrle, H.: Semantics of control-flow in UML 2.0 activities. In: Symposium On Visual Language And Human Centric Computing, pp. 235–242. IEEE Computer Society Press, Los Alamitos (2004)

    Chapter  Google Scholar 

  10. Störrle, H.: Semantics and verification of data flow in UML 2.0 activities. Electronic Notes in Theoretical Computer Science (Minas, M., ed.: Workshop on Visual Languages and Formal Methods) 127(4), 35–52 (2005)

    Article  Google Scholar 

  11. Störrle, H., Hausmann, J.: Towards a formal semantics of UML 2.0 activities. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering 2005. Lecture Notes in Informatics, vol. P-65, pp. 117–128. Gesellschaft für Informatik (2005)

    Google Scholar 

  12. Barros, J., Gomes, L.: Actions as activities and activities as Petri nets. In: Jürjens, J., et al. (eds.) Critical Systems Development with UML: Proceedings of the UML’03 workshop. TUM-I0317, pp. 129–135 (2003)

    Google Scholar 

  13. Vitolins, V., Kalnins, A.: Semantics of UML 2.0 activity diagram for business modeling by means of virtual machine. In: Ninth International EDOC Enterprise Computing Conference, pp. 181–192. IEEE Computer Society Press, Los Alamitos (2005)

    Chapter  Google Scholar 

  14. UML 2.0 Semantics Project: Web page (2006), http://www.cs.queensu.ca/~stl/internal/uml2/

  15. Modelware Project, WP1 Modelling Techniques: D1.3 Model Simulation Scheme: Definition (2005), available from http://www.modelware-ist.org/

  16. Winter, K.: Model Checking Abstract State Machines. PhD thesis, Technische Universität Berlin (2001)

    Google Scholar 

  17. Gargantini, A., Riccobene, E.: Encoding abstract state machines in PVS. In: Gurevich, Y., et al. (eds.) ASM 2000. LNCS, vol. 1912, pp. 303–322. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  18. Sarstedt, S., et al.: ActiveChartsIDE: An integrated software development environment comprising a component for simulating UML 2 activity charts. In: Feliz-Teixeira, J., Carvalho Brito, A. (eds.) Proceedings of the 2005 European Simulation and Modelling Conference (ESM’05), pp. 66–73 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Ulm, 89069 Ulm, Germany

    Stefan Sarstedt & Walter Guttmann

Authors
  1. Stefan Sarstedt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Walter Guttmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Irina Virbitskaite Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sarstedt, S., Guttmann, W. (2007). An ASM Semantics of Token Flow in UML 2 Activity Diagrams. In: Virbitskaite, I., Voronkov, A. (eds) Perspectives of Systems Informatics. PSI 2006. Lecture Notes in Computer Science, vol 4378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70881-0_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-70881-0_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70880-3

  • Online ISBN: 978-3-540-70881-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation