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
iState: A Statechart Translator
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
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
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Structuring Reactive Systems in B AMN
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
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)
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
Teaching the unifying mathematics of software design
Proceedings of the 14th Western Canadian Conference on Computing Education
Proving event ordering properties for information systems
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Integration of formal datatypes within state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
International Journal of Internet Technology and Secured Transactions
Systematic translation rules from ASTD to event-B
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Generating Hierarchical State Based Representation From Event-B Models
Electronic Notes in Theoretical Computer Science (ENTCS)
An automatic mapping from statecharts to verilog
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Formal transformation of platform independent models into platform specific models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
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)
| Hi-index | 0.00 |
We present algorithms for the translation of statecharts to the Abstract Machine Notation of the B method. These algorithms have been implemented in iState, a tool for translating statecharts to various programming languages. The translation proceeds in several phases. We give a model of statecharts, a model of the code in AMN, as well as the intermediate representations in terms of class diagrams and their textual counterpart. The translation algorithms are expressed in terms of these models. We also discuss optimizations of the generated code. The translation scheme is motivated by making the generated code comprehensible.