SEMANTICS AND REFINEMENT OF BEHAVIOR STATE MACHINES
Kevin Lano, David Clark · 2008
In this paper we present an axiomatic semantics for UML 2 behavior state machines, and give transformation rules for establishing refinements of behavior state machines, together with proofs of the semantic validity of these rules, based on a unified semantics of UML 2.