Hierarchical automata as model for statecharts

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

Volumn 1345, Issue , 1997, Pages 181-196

  Mikk, Erich ^a   Lakhnechi, Yassine ^a   Siegel, Michael ^b  

^a UNIVERSITY OF KIEL   (Germany)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

COMMERCIAL TOOLS; INTER-LEVEL TRANSITIONS; INTERMEDIATE FORMATS; MULTIPLE SOURCE; OPERATIONAL SEMANTICS; STATECHARTS;

AUTOMATA THEORY;

EID: 84957631215     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63875-X_52     Document Type: Conference Paper

References (16)

1. [Har87] D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987.
2. [HdR91] C. Huizing and W.-P. de Roever. Introduction to design choices in the semantics of Statecharts. Information Processing Letters, 37:205-213, February 1991.
3. [HK94] J. Helbig and P. Kelb. An OBDD-Representation of Statecharts. In Proc. of the European Design and Test Conference EDAC'04, pages 142-149, 1994.
4. [HN96] D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, Oct 1996.
5. [Hol91] G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
6. [Hol97] G.J. Holzmann. The Model Checker Spin. IEEE Trans, on Software Engineering, 23(5):279-295, May 1997. Special issue on Formal Methods in Software Practice.
7. [HP94] G.J. Holzmann and D. Peled. An improvement in formal verification. In Proc. FORTE94, Berne, Switzerland, October 1994.
8. [Hui91] C. Huizing. Semantics of reactive systems: comparision and full abstraction. PhD thesis, Technical University Eindhoven, 1991.
9. [JM94] F. Jahanian and A. Mok. Modechart: a specification language for real-time systems. IEEE Transactions of Software Engineering, 20(12):933-947, December 1994.
10. [LHHR94] N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. Requirements Specification for Process-Control Systems. IEEE Trans. Soft Eng, 20(9):684-707, September 1994.
11. [LL95] C. Lewerentz and T. Lindner. Formal Development of Reactive Systems: Case Study Production Cell. Number 891 in LNCS. Springer Verlag, 1995.
12. [Mar91] F. Maraninchi. The Argos language: Graphical Representation of Automata and Description of Reactive Systems. In IEEE Workshop on Visual Languages, Oct 1991.
13. [Mar92] F. Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Compositions. In CONCUR'92, number 630 in Lecture Notes in Computer Science, pages 550-564. Springer-Verlag, 1992.
14. [MHLS97] E. Mikk, G. J. Holzmann, Y. Lakhnech, and M. Siegel. Implementing Statecharts in Promela/SPIN. Technical report, Manuscript, 1997.
15. [MLPS97] E. Mikk, Y. Lakhnech, C. Petersohn, and M. Siegel. On formal semantics of Statecharts as supported by statemate. In 2nd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag, July 97.
16. [NVG91] S. Narayan, F. Vahid, and D. D. Gajski. System Specification and Synthesis with the SpecCharts Language. In Proceedings, 1991 IEEE International Conference on Computer-Aided Design (ICCAD '91), pages 266-269, November 11-14 1991.