Towards a semantics of activity diagrams with semantic variation points

Authors:
Hans Grönniger;Dirk Reiß;Bernhard Rumpe
Affiliations:
Software Engineering, RWTH Aachen University, Germany;Institut für Wirtschaftsinformatik, Abteilung Informationsmanagement, Technische Universität Braunschweig, Braunschweig, Germany;Software Engineering, RWTH Aachen University, Germany
Venue:
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Year:
2010

Citing 9
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Meaningful Modeling: What's the Semantics of "Semantics"?

Computer
Semantics of Control-Flow in UML 2.0 Activities

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine

EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Towards a Formal Account of a Foundational Subset for Executable UML Models

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities

CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
System Model-Based Definition of Modeling Language Semantics

FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Variability within Modeling Language Definitions

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Integration of business processes in web application models

Journal of Web Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

UML activity diagrams have become an established notation to model control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms to high-level workflow models in business applications. A formal semantics has to capture the flexibility of the interpretation of activity diagrams in real systems, which makes it inappropriate to define a fixed formal semantics. In this paper, we define a semantics with semantic variation points that allow for a customizable, application-specific interpretation of activity diagrams. We examine concrete variants of the activity diagram semantics which may also entail variants of the syntax reflecting the intended use at hand.