Translating statecharts to B

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

Volumn 2335, Issue , 2002, Pages 128-144

  Sekerinski, Emil ^a   Zurob, Rafik ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); FORMAL METHODS;

ABSTRACT MACHINES; B METHOD; CLASS DIAGRAMS; INTERMEDIATE REPRESENTATIONS; STATECHARTS; TRANSLATION ALGORITHMS; TRANSLATION SCHEMES;

PROGRAM TRANSLATORS;

EID: 84944208763     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47884-1_8     Document Type: Conference Paper

References (15)

1. J.-R. Abrial. The B Book: Assigning Programs to Meaning. Cambridge University Press, 1996.
2. D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31-42, 1996.
3. D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5(5):293–333, 1996.
4. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
5. R. Laleau and A. Mammar. An overview of a method and its support tool for generating B specifications from UMl notations. In 15th IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, 2000. IEEE Computer Socitey Press.
6. K. Lano, K. Androutsopoulos, and P. Kan. Structuring reactive systems in B AMN. In 3rd IEEE International Conference on Formal Engineering Methods,York, England, 2000. IEEE Computer Socitey Press.
7. 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 1723, pages 430–445, Fort Collins, Colorado, 1999. Springer-Verlag.
8. J. Lilius and I. Paltor. vUML: a tool for verifying UML models. In 14th IEEE International Conference on Automated Software Engineering, ASE’99, Cocoa Beach, Florida, 1999. IEEE Computer Socitey Press.
9. E. Mikk, Y. Lakhnech, C. Petersohn, and M. Siegel. On the formal semantics of statecharts as supported by statemate. In BCS-FACS 2nd Northern Formal Methods Workshop, Ilkley, 1997. Springer-Verlag.
10. E. Mikk, Y. Lakhnech, M. Siegel, and G. J. Holzmann. Implementing statecharts in Promela/Spin. In Second IEEE Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, 1998. IEEE Computer Society Press.
11. H. P. Nguyen. Derivation De Sp´ecifications Formelles Ba Partir De Specifications Semi- Formelles. Doctoral thesis, Centre d’´ Etudes et de Recherche en Informatique du CNAM, 1998.
12. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddi, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
13. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
14. E. Sekerinski and R. Zurob. iState: A statechart translator. In M. Gogolla and C. Kobryn, editors, UML 2001 -The Unified Modeling Language, 4th International Conference, Lecture Notes in Computer Science 2185, Toronto, Canada, 2001. Springer-Verlag.
15. E. Sekerinski. Graphical design of reactive systems. In D. Bert, editor, 2nd International B Conference, Lecture Notes in Computer Science 1393, Montpellier, France, 1998. Springer- Verlag