itemis CREATE, formerly 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.
