Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented modeling and design
Object-oriented modeling and design
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Graphical Design of Reactive Systems
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
On efficient program synthesis from statecharts
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
From statecharts to ESP: programming with events, states and predicates for embedded systems
Proceedings of the 5th ACM international conference on Embedded software
Rialto to B: an exercise in formal development of a language for multiple models of computation
Fundamenta Informaticae - Special issue on application of concurrency to system design (ACSD'04)
Teaching the unifying mathematics of software design
Proceedings of the 14th Western Canadian Conference on Computing Education
Generating class contracts from UML protocol statemachines
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Generating class contracts from deterministic UML protocol statemachines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation
Fundamenta Informaticae - APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
| Hi-index | 0.00 |
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Pascal, Java, or the Abstract Machine Notation of the B method. The translation proceeds in several phases. The focus of this paper is the formal description of the intermediate representations, for which we use class diagrams together with their textual counterparts.We describe how the class diagrams are further refined. The notions of representable, normalized, and legal statecharts are introduced, where normalized statecharts appear as an intermediate representation and code is generated only for legal statecharts.