Search

Direct Semantics of Extended State Machines

By: Kevin Lano, David Clark

Abstract

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.

Cite as:

Kevin Lano, David Clark, “Direct Semantics of Extended State Machines”, Journal of Object Technology, Volume 6, no. 9 (October 2007), pp. 35-51, doi:10.5381/jot.2007.6.9.a2.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn