Conference
Translating Statecharts to B
Abstract
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 …
Authors
Sekerinski E; Zurob R
Series
Lecture Notes in Computer Science
Volume
2335
Pagination
pp. 128-144
Publisher
Springer Nature
Publication Date
2002
DOI
10.1007/3-540-47884-1_8
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743