Advertisement

An ASM Semantics of Token Flow in UML 2 Activity Diagrams

  • Stefan Sarstedt
  • Walter Guttmann
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Destination Node Activity Diagram Outgoing Edge Decision Node Incoming Edge 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Object Management Group: UML 2.0 Superstructure Specification (2005)Google Scholar
  2. 2.
    Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)Google Scholar
  3. 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. 4.
    Gurevich, Y., Tillmann, N.: Partial updates: Exploration. Journal of Universal Computer Science 7(11), 917–951 (2001)MathSciNetGoogle Scholar
  5. 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. 6.
    Hausmann, J.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. PhD thesis, Universität Paderborn (2005)Google Scholar
  7. 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. 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)CrossRefGoogle Scholar
  9. 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)CrossRefGoogle Scholar
  10. 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)CrossRefGoogle Scholar
  11. 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. 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. 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)CrossRefGoogle Scholar
  14. 14.
    UML 2.0 Semantics Project: Web page (2006), http://www.cs.queensu.ca/~stl/internal/uml2/
  15. 15.
    Modelware Project, WP1 Modelling Techniques: D1.3 Model Simulation Scheme: Definition (2005), available from http://www.modelware-ist.org/
  16. 16.
    Winter, K.: Model Checking Abstract State Machines. PhD thesis, Technische Universität Berlin (2001)Google Scholar
  17. 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)CrossRefGoogle Scholar
  18. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Stefan Sarstedt
    • 1
  • Walter Guttmann
    • 1
  1. 1.University of Ulm, 89069 UlmGermany

Personalised recommendations