Direct Semantics of Extended State Machines

Research output: Contribution to journalArticlepeer-review

6 Citations (Scopus)


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.
Original languageEnglish
Pages (from-to)35 - 51
Number of pages17
JournalJournal of Object Technology
Issue number9
Publication statusPublished - Oct 2007


Dive into the research topics of 'Direct Semantics of Extended State Machines'. Together they form a unique fingerprint.

Cite this