Abstract Within Model Driven Development (MDD), state machines are a common
mechanism for modelling behaviour. The development of a formal semantics for UML state
machines continues to be a very active and important area of research, because the
development of interoperating MDD tools requires a precise, unambiguous, yet readable
account of the meaning of the diagrams. This paper is the result of a comparative literature
survey on approaches to formally capture the semantics of UML state machines; it …