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.
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
Object Management Group: Unified Modeling Language: Superstructure Version 2.2 (09-02-02) (2009), http://www.omg.org/spec/UML/2.2/Superstructure/PDF/
International Organization for Standardization (ISO): ISO 5807:1985 Information processing – Documentation symbols and conventions for data, program and system flowcharts, program network charts and system resources charts (1985)
Koch, N., Kraus, A., Cacharo, C., Meliá, S.: Integration of business processes in Web application models. Journal of Web Engineering 3(1), 22–49 (2004)
Eshuis, H.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, Univ. of Twente (2002)
Harel, D., Rumpe, B.: Meaningful Modeling: What’s the Semantics of “Semantics“? Computer 37(10), 64–72 (2004)
Broy, M., Cengarle, M.V., Grönniger, H., Rumpe, B.: Considerations and Rationale for a UML System Model. In: Lano, K. (ed.) UML 2 Semantics and Applications. Wiley, Chichester (2009)
Broy, M., Cengarle, M.V., Grönniger, H., Rumpe, B.: Definition of the System Model. In: Lano, K. (ed.) UML 2 Semantics and Applications. Wiley, Chichester (2009)
Grönniger, H., Ringert, J.O., Rumpe, B.: System Model-Based Definition of Modeling Language Semantics. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 152–166. Springer, Heidelberg (2009)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, Reading (1995)
Störrle, H.: Semantics of UML 2.0 Acitivities. In: Intl. Symp. Visual Languages/Human Computer Centered Systems, pp. 235–242 (2004)
Störrle, H.: Towards a Petri-net Semantics of Data Flow in UML 2.0 Activities. Technical Report TR 0504, University of Munich (2004)
Vitolins, V., Kalnins, A.: Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine. In: 9th IEEE International EDOC Enterprise Computing Conference, pp. 181–194. IEEE Computer Society, Los Alamitos (2005)
Crane, M.L., Dingel, J.: Towards a Formal Account of a Foundational Subset for Executable UML Models. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 675–689. Springer, Heidelberg (2008)
Crane, M.L., Dingel, J.: Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. In: Proceedings of Centrer for Advanced Studies on Collaborative Research (CASCON 2008), pp. 96–110. IBM (2008)
Küster, J., Koehler, J., Novatnack, J., Ryndina, K.: A Classification of UML2 Activity Diagrams. Technical report, IBM ZRL Technical Report 3673 (2006)
Cengarle, M.V., Grönniger, H., Rumpe, B.: Variability within Modeling Language Definitions. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 670–684. Springer, Heidelberg (2009)
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
Grönniger, H., Reiß, D., Rumpe, B. (2010). Towards a Semantics of Activity Diagrams with Semantic Variation Points. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds) Model Driven Engineering Languages and Systems. MODELS 2010. Lecture Notes in Computer Science, vol 6394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16145-2_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-16145-2_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16144-5
Online ISBN: 978-3-642-16145-2
eBook Packages: Computer ScienceComputer Science (R0)