UML 2.0 State Machines: Complete Formal Semantics Via core state machine


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… (More)
DOI: 10.1007/978-3-540-70952-7_16


1 Figure or Table

Slides referencing similar topics