Reconciling statechart semantics

Research output: Contribution to journalArticleAcademicpeer-review

33 Citations (Scopus)
2 Downloads (Pure)

Abstract

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
Volume74
Issue number3
DOIs
Publication statusPublished - 2009

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

Cite this