Abstract
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational part of the language with particular attention to the behavior description based on actions. To remain close to the standard UML, we automatically translate the UML metamodel in ASM. This allows to take into account all the concepts and relationships contained in the standard, and to minimize the changes subsequent to the frequent updates of the standard.
For the dynamic part, the particularity of our approach is that we focus on actions, as defined in our proposal to the OMG action semantics working group. We deal with concurrency, signal exchange, operation calls, general communication primitives, etc. We do not define the semantics of state machines, but we clearly define their place within the framework of our semantics. We also describe how the ASM domains and functions used in the semantics are built initially from a particular UML model.
The major part of this work was done while the author was at Telelogic (www.telelogic.com). Additional support provided by the OMEGA project IST-33522 (http://www-omega.imag.fr).
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
R. Breu, et al.: Towards a formalization of the unified modeling language. In S. Matsuoka, M. Aksit (eds), ECOOP’97, In ECOOP’97 Proceedings, LNCS 1241, (1997)
E. Börger, A. Cavarra, E. Riccobene. Modeling the Dynamics of UML State Machines, Int. Workshop on Abstract State Machines ASM’2000, LNCS 1912, (2000) 223–241
E. Börger, A. Cavarra, E. Riccobene. An ASM Semantics for UML Activity Diagrams. In: T. Rust (Ed.), Proc. AMAST 2000, LNCS, Vol. 1816, (2000) pp.292–308
K. Compton, Y. Gurevich, J. Huggins, W. Shen.: An Automatic Verification Tool for UML, Technique Report CSE-TR-423-00, Dept. of EECS, The University of Michigan, May, (2000)
S. Cook. The UML Family: Profiles, Prefaces and Packages. Proceedings of UML 2000-The Unified Modeling Language. Advancing the Standard, LNCS 1939, (2000) 255–264
R. Eschbach, U. Glässer, R. Gotzhein, M. von Lowis, A. Prinz: Formal definition of SDL-2000-Compiling and Ronning SDL specifications as ASM Models. In E Börger, U. Glässer (Eds), Journal of Universal Computer Science, vol. 7 no 11(2001), 1024–1049
Evans, R. France, K. Lano, B. Rumpe.: The UML as a Formal Modeling Notation. Proceedings of UML’98-Beyond the Notation, LNCS 1618, (1999) 336–348
Evans, S. Kent.: Core Meta-modelling semantics of UML: the pUML approach, Proceedings of UML’99-Beyond the Standard, LNCS 1793, (1999) 141–155
M. Gogolla, F. Parisi-Presicce.: State diagrams in UML: A formal semantics using graph transformation. In M. Broy, D. Coleman, T. Maibaum, B. Rumpe (Eds.), Proceedings PSMT’98. Technische Universitaet Muenchen, TUM-I9803, (1998)
Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9–36. Oxford University Press, (1995)
D. Harel, E. Gery. Executable Object Modelling with Statecharts, IEEE Computer 30(7):(1997) 31–42
W. M. Ho, J. M. Jézéquel, A. Le Guennec, F. Pennaneac’h: UMLAUT: an extendible UML transformation framework. In Proc. ASE’99, Florida, October 1999
International Telecommunication Union-Telecommunication Standardization Sector, Recommendation Z.100 Annex F-Specification and description language Electronic Bookshop, Geneva, (2000)
Ober, I. Stan. On the Concurrent Object Model of UML, EuroPar’99, Toulouse, LNCS 1685, (1999), 1377–1384
Ober, B. Coulette, M. Gandriau. Action Language for UML. LMO 2000, Mont Saint Hilaire, Canada, Hermes Science Publications, (2000) pp. 277–291
Object Management Group. UML Action Semantics Final Submission, OMG Document ad/01-03-01, 24 March, (2001)
Object Management Group Unified Modelling Language Specification (UML), v 1.4, September (2001)
G. Övergaard. A Formal Approach to Collaborations in the Unified Modeling Language, Proceedings of UML’99-Beyond the Standard, LNCS 1793, (1999) pp. 99–115
M. Richters, M. Gogolla: Validating UML models and OCL constraints. Proceedings of UML 2000-Advancing the Standard, LNCS 1939, (2000), 265–277
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg 2003
About this paper
Cite this paper
Ober, I. (2003). An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions. In: Börger, E., Gargantini, A., Riccobene, E. (eds) Abstract State Machines 2003. ASM 2003. Lecture Notes in Computer Science, vol 2589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36498-6_21
Download citation
DOI: https://doi.org/10.1007/3-540-36498-6_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00624-4
Online ISBN: 978-3-540-36498-6
eBook Packages: Springer Book Archive