Direct Semantics of Extended State Machines.
Kevin Lano, David Clark · The Journal of Object Technology · 2007
In this paper we present semantic profiles for UML 2 state machines, which are based directly upon the structure of a state machine model, without requiring flattening or other transformations on these models.The approach addresses many of the semantic problems identified for state machines, and provides a basis for semantic analysis and proof of behavioural compatibility between state machines. EXTENDED STATE MACHINESIn [13,15] we defined the syntax and semantics of a subset, UML-RSDS, of UML 2. UML-RSDS state machines have only basic states and no pseudostates.Here we will extend this state machine notation to include additional features of composite