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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Object Management Group: UML 2.0 Superstructure Specification (2005)
Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
Sarstedt, S.: Semantic Foundation and Tool Support for Model-Driven Development with UML 2 Activity Diagrams. PhD thesis, Universität Ulm (2006)
Gurevich, Y., Tillmann, N.: Partial updates: Exploration. Journal of Universal Computer Science 7(11), 917–951 (2001)
Bock, C.: UML 2 activity and action models part 4: Object nodes. Journal of Object Technology 3(1), 27–41 (2004)
Hausmann, J.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. PhD thesis, Universität Paderborn (2005)
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)
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)
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)
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)
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)
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)
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)
UML 2.0 Semantics Project: Web page (2006), http://www.cs.queensu.ca/~stl/internal/uml2/
Modelware Project, WP1 Modelling Techniques: D1.3 Model Simulation Scheme: Definition (2005), available from http://www.modelware-ist.org/
Winter, K.: Model Checking Abstract State Machines. PhD thesis, Technische Universität Berlin (2001)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights 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)