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. © 2010 Springer Berlin Heidelberg.
CITATION STYLE
Kohlmeyer, J., & Guttmann, W. (2010). Unifying the semantics of UML 2 state, activity and interaction diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5947 LNCS, pp. 206–217). https://doi.org/10.1007/978-3-642-11486-1_18
Mendeley helps you to discover research relevant for your work.