Abstract
We define a formal semantics of the combined use of UML 2 state machines, activities and interactions using Abstract State Machines. The behaviour of software models can henceforth be specified by composing these diagrams, choosing the most adequate formalism at each level of abstraction. We present several reasonable ways to link different kinds of diagrams and illustrate them by examples. We also give a formal semantics of communication between these diagrams. The resulting rules reveal unclear parts of the UML specification and serve as a basis for tool support.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
von der Beeck, M.: A structured operational semantics for UML-statecharts. Software and Systems Modeling 1(2), 130–141 (2002)
Börger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASMs. Information and Software Technology 46(5), 287–292 (2004)
Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
Broy, M., Crane, M., Dingel, J., Hartman, A., Rumpe, B., Selic, B.: 2nd UML 2 semantics symposium: Formal semantics for UML. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 318–323. Springer, Heidelberg (2007)
Cengarle, M.V., Grönninger, H., Rumpe, B.: System model semantics of statecharts. Informatik-Bericht 2008-04, TU Braunschweig (July 2008)
Cengarle, M.V., Knapp, A.: UML 2.0 interactions: Semantics and refinement. In: Jürjens, J., Fernandez, E.B., France, R., Rumpe, B. (eds.) Critical Systems Development with UML, pp. 85–99. TU München (2004)
Crane, M.L.: Slicing UML’s Three-layer Architecture: A Semantic Foundation for Behavioural Specification. PhD thesis, Queen’s University (January 2009)
Crane, M.L., Dingel, J.: Towards a UML virtual machine: Implementing an interpreter for UML 2 actions and activities. In: Chechik, M., Vigder, M., Stewart, D. (eds.) Conference of the Centre for Advanced Studies on Collaborative Research, pp. 96–110. ACM Press, New York (2008)
Dausend, M.: Entwicklung einer ASM-Spezifikation der Semantik der Zustandsautomaten der UML 2.0. Diploma thesis, Universität Ulm (June 2007)
Fecher, H., Schönborn, J.: UML 2.0 state machines: Complete formal semantics via core state machine. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol. 4346, pp. 244–260. Springer, Heidelberg (2007)
Fürst, J.: Entwicklung einer ASM-Spezifikation für die Semantik von UML 2 Sequenzdiagrammen als Grundlage zur Anbindung an ActiveCharts. Diploma thesis, Universität Ulm (February 2008)
Jürjens, J.: Formal semantics for interacting UML subsystems. In: Jacobs, B., Rensink, A. (eds.) Formal Methods for Open Object-Based Distributed Systems V, pp. 29–43. Kluwer Academic Publishers, Dordrecht (2002)
Kohlmeyer, J.: Executing UML 2 diagrams in ActiveCharts: A formal semantics for the combination of behavior specifications in the UML 2. In: Bertelle, C., Ayesh, A. (eds.) ESM 2008, October 2008, pp. 94–101 (2008)
Kohlmeyer, J.: Eine formale Semantik für die Verknüpfung von Verhaltensbeschreibungen in der UML 2. PhD thesis, Universität Ulm (July 2009)
Li, X., Liu, Z., He, J.: A formal semantics of UML sequence diagram. In: Australian Software Engineering Conference, pp. 168–177. IEEE, Los Alamitos (2004)
Marković, S., Baar, T.: Semantics of OCL specified with QVT. Software and Systems Modeling 7(4), 399–422 (2008)
Object Management Group. UML 2.1.2 Superstructure Specification (November 2007)
Sarstedt, S.: Overcoming the limitations of signal handling when simulating UML 2 activity charts. In: Feliz-Teixeira, J.M., Carvalho Brito, A.E. (eds.) ESM 2005, October 2005, pp. 61–65 (2005)
Sarstedt, S.: Semantic Foundation and Tool Support for Model-Driven Development with UML 2 Activity Diagrams. PhD thesis, Universität Ulm (July 2006)
Sarstedt, S., Guttmann, W.: An ASM semantics of token flow in UML 2 activity diagrams. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol. 4378, pp. 349–362. Springer, Heidelberg (2007)
Störrle, H.: Semantics of interactions in UML 2.0. In: Symposium on Human Centric Computing Languages and Environments, pp. 129–136. IEEE, Los Alamitos (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kohlmeyer, J., Guttmann, W. (2010). Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds) Perspectives of Systems Informatics. PSI 2009. Lecture Notes in Computer Science, vol 5947. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11486-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-11486-1_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11485-4
Online ISBN: 978-3-642-11486-1
eBook Packages: Computer ScienceComputer Science (R0)