itemis AG

Statechart language reference

itemis CREATE, formally known as YAKINDU Statechart Tools, provides a formal definition of statecharts which allows execution and code generation. This formalization is provided by the statechart language, which is used to describe statecharts. It consists both of graphical and of textual elements.

Simulating and testing SCXML statecharts State machine basics