Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.-R. Abrial. The B Book: Assigning Programs to Meaning. Cambridge University Press, 1996.
M. von der Beck. A comparison of statechart variants. In H. Langmaack, W.-P. deRoever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science Vol. 863, pages 128–148. Springer Verlag, 1994.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31–42, 1996.
D. Harel and A. Naamad. The statemate semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5(5):293–333, 1996.
J. Lilius and I. P. Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML’99-The Unified Modeling Language Beyond the Standard, Lecture Notes in Computer Science Vol. 1723, Fort Collins, Colorado, 1999.
E. Mikk, Y. Lakhnech, M. Siegel, and G. J. Holzmann. Implementing statecharts in Promela / Spin. In Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, 1998. IEEE Computer Society Press.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddi, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
E. Sekerinski. Graphical design of reactive systems. In D. Bert, editor, 2nd International B Conference, Lecture Notes in Computer Science Vol. 1393, Montpellier, France, 1998. Springer-Verlag.
E. Sekerinski and R. Zurob. From statecharts to code: A tool for the graphical design of reactive systems. Technical report, McMaster University, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sekerinski, E., Zurob, R. (2001). iState: A Statechart Translator. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_28
Download citation
DOI: https://doi.org/10.1007/3-540-45441-1_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42667-7
Online ISBN: 978-3-540-45441-0
eBook Packages: Springer Book Archive