Istate: A statechart translator

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2185, Issue , 2001, Pages 376-390

  Sekerinski, Emil ^a   Zurob, Rafik ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM TRANSLATORS; TRANSLATION (LANGUAGES);

ABSTRACT MACHINES; B METHOD; CLASS DIAGRAMS; FORMAL DESCRIPTION; INTERMEDIATE REPRESENTATIONS; STATECHARTS;

UNIFIED MODELING LANGUAGE;

EID: 84874267107     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45441-1_28     Document Type: Conference Paper

References (11)

1. J.-R. Abrial. The B Book: Assigning Programs to Meaning. Cambridge University Press, 1996
2. 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
3. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987
4. D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31-42, 1996
5. D. Harel and A. Naamad. The statemate semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5(5):293-333, 1996
6. 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
7. 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
8. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddi, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991
9. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999
10. 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
11. E. Sekerinski and R. Zurob. From statecharts to code: A tool for the graphical design of reactive systems. Technical report, McMaster University, 2001