Reconciling statechart semantics

Research output: Contribution to journalArticleAcademicpeer-review

41 Citations (Scopus)
2 Downloads (Pure)


Statecharts are a visual technique for modelling reactive behaviour. Over the years, a plethora of statechart semantics have been proposed. The three most widely used are the fixpoint, Statemate, and UML semantics. These three semantics differ considerably from each other. In general, they interpret the same statechart differently, which impedes the communication of statechart designs among both designers and tools. In this paper, we identify a set of constraints on statecharts that ensure that the fixpoint, Statemate and UML semantics coincide, if observations are restricted to linear, stuttering-closed, separable properties. Moreover, we show that for a subset of these constraints, a slight variation of the Statemate semantics coincides for linear stuttering-closed properties with the UML semantics.
Original languageEnglish
Pages (from-to)65-99
JournalScience of Computer Programming
Issue number3
Publication statusPublished - 2009


Dive into the research topics of 'Reconciling statechart semantics'. Together they form a unique fingerprint.

Cite this