Abstract
UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. We present a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i) deriving core state machines with fewer design features and a precise syntax, (ii) developing a formal semantics for core state machines, and (iii) presenting a complete transformation from UML 2.0 state machines to core state machines. Such a transformational approach provides the opportunity of easy adaption to future changes of the semantics of UML state machines.
Part of this work is financially supported by DFG project Refism (FE 942/1-1).
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
Crane, M.L., Dingel, J.: On the semantics of uml state machines: Categorization and comparison. Technical Report 501, Queen’s University (2005)
Fecher, H., Kyas, M., Schönborn, J.: Semantic issues in UML 2.0 state machines. Technical Report 0507, Christian-Albrechts-Universität zu Kiel (2005)
Fecher, H., Schönborn, J., Kyas, M., de Roever, W.P.: 29 new unclarities in the semantics of uml 2.0 state machines. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 52–65. Springer, Heidelberg (2005)
Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)
Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293–333 (1996)
Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the formal semantics of statecharts (extended abstract). In: LICS, pp. 54–64. IEEE Computer Society Press, Los Alamitos (1987)
Jin, Y., Esser, R., Janneck, J.W.: A method for describing the syntax and semantics of uml statecharts. Software and System Modeling 3(2), 150–163 (2004)
Object Management Group. UML Superstructure Specification, v2.0 formal/05-07-04 (2005)
Reggio, G., Wieringa, R.: Thirty one problems in the semantics of uml 1.3 dynamics. In: OOPSLA’99 workshop, Rigorous Modelling and Analysis of the UML: Challenges and Limitations (1999)
Simons, A.J.H., Graham, I.: 30 things that go wrong in object modelling with uml 1.3. In: Behavioral Specifications of Businesses and Systems, pp. 237–257. Kluwer Academic Publishers, Dordrecht (1999)
Zhan, X., Miao, H.: An approach to formalizing the semantics of uml statecharts. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 753–765. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Fecher, H., Schönborn, J. (2007). UML 2.0 State Machines: Complete Formal Semantics Via core state machine . In: Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds) Formal Methods: Applications and Technology. PDMC 2006. Lecture Notes in Computer Science, vol 4346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70952-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-70952-7_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70951-0
Online ISBN: 978-3-540-70952-7
eBook Packages: Computer ScienceComputer Science (R0)