An executable semantics for UML 2 activity diagrams

Authors:
Christoph Knieke;Ursula Goltz
Affiliations:
Technische Universität Braunschweig, Braunschweig, Germany;Technische Universität Braunschweig, Braunschweig, Germany
Venue:
Proceedings of the International Workshop on Formalization of Modeling Languages
Year:
2010

Citing 2
Cited 1

The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling and Validation of Executable Requirements Using Live Activity Diagrams

SERA '08 Proceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications

ADDiff: semantic differencing for activity diagrams

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Since the revision 2 of the UML, activity diagrams have acquired many new features and a completely new metamodel. UML 2 was targeted at improving semantic precision but still lacks an executable semantics as a basis for tool support and simulation. In this paper we define an executable step semantics for a subset of activity diagrams including nested interruptible activity regions, call behavior actions, and event handling. The semantics conforms to the textual description of the UML semantics but comes with a precise definition of a step including a description of the algorithm that executes a single step. The operational semantics implemented by an appropriate tool makes UML activity diagrams suitable for the specification and design of real-life complex systems from various domains.