E4Coder can be used to generate State Diagrams similar to the UML State Diagrams and to those proposed by David Harel in the journal paper: David Harel, Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, June 1987.
In particular, with SMCube you can:
The State Machine Semantic is well specified to allow consistent simulation and code generation. Each transition has a priority number which makes visible the order of evaluation of the guards.
The following are example screenshots that will give you an idea of the kind of State Diagrams that can be made using SMCube.
Copyright © 2002-2012 Evidence Srl - Via Squartini 42, 56121 Ospedaletto - Pisa - Italy - Phone: +39 050 991 1122 - E-mail: email@example.com - Capitale sociale interamente versato: 27200 euro - Codice Fisc. e Partita IVA: 01638690501 - Iscrizione nella sezione ordinaria della Camera di Commercio di Pisa (REA): 142992