A comparison of statecharts variants

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

Volumn 863 LNCS, Issue , 1994, Pages 128-148

  Von Der Beeek, Michael ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE;

FEATURE SETS; REACTIVE SYSTEM; STATECHARTS;

REAL TIME SYSTEMS;

EID: 78449244619     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58468-4_163     Document Type: Conference Paper

References (25)

1. M. von der Beeck: Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification, Proc. of ESEC '93, LNCS, vol. 717, Springer, pp. 313-328, 1993
2. A. Benveniste, G. Berry: The Synchronous Approach to Reactive and Real-Time Systems, Proc. of the IEEE, vol. 79, no. 9, pp. 1270-1282, 1991
3. G. Berry: Preemption in Concurrent Systems, Proc. of FSTFCS 93, LNCS, vol. 761, Springer, pp. 72-93, 1993
4. G. Berry, G. Gonthier: The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol. 19, pp. 87-152, 1992
5. G. Berry, S. Ramesh, R. Shyamasundar: Communicating Reactive Processes, Proc. of ACM Symp. on Principles of Programming Languages, Charleston, 1993
6. A. Classen: Modulare Statecharts: Ein formaler Rahmen zur hierarchischen Prozeflspezifikation, Master Thesis, (in German), Lehrstuhl ftir Informatik II, Aachen University of Technology, Germany, 1993
7. N. Day: A Model Checker for Statecharts (Linking CASE tools with Formal Methods), Technical Report 93-35, University of British Columbia, Vancouver, Canada, 1993
8. D. Harel: Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol. 8, pp. 231-274, 1987
9. D. Harel, A. Pnueli: On the development of reactive systems, in: Logics and Models of Concurrent Systems, NATO ASI Series, vol. 13, ed. K. Apt, Springer, pp. 477-498, 1985
10. D. Harel, A. Pnueli, J. Schmidt, R. Sherman: On the Formal Semantics of Statecharts, Proc. of 2nd IEEE Symp. on Logic in Computer Science, Ithaca, NY, pp. 54-64, 1987
11. C. Hoare: Communicating Sequential Processes, Prentice Hall, 1987
12. J. Hooman, S. Ramesh, W. de Roever: A compositional axiomatization of Statecharts, Theoretical Computer Science, vol. 101, no. 2, Elsevier, pp. 289-335, 1992
13. C. Huizing: Semantics of Reactive Systems: Comparison and Full Abstraction, Ph.D. thesis, Technical University Eindhoven, The Netherlands, 1991
14. C. Huizing, R. Gerth: Semantics of Reactive Systems in Abstract Time, LNCS, vol. 600, Springer, pp. 291-314, 1992
15. C. Huizing, R. Gerth, W. P. de Roever: Modelling Statecharts behaviour in a fully abstract way, LNCS, vol. 299, Springer, pp. 271-294, 1988
16. Y. Kesten, A. Pnueli: Timed and Hybrid Statecharts and their Textual Representation, LNCS, vol. 571, Springer, pp. 591-620, 1992
17. N. Leveson, M. Heimdahl, H. Hildreth, J. Reese: Requirements Specification for Process-Control Systems, Technical Report 92-106, University of California, USA, 1992
18. A. Maggioli-Schettini, A. Peron: Semantics of Full Statecharts Based on Graph Rewriting, Dipartimento di Informatica, Universita di Pisa, Italy, 1993
19. E Maraninchi: Argos: a Graphical Synchronous Language for the Description of Reactive Systems, RT-C29, LGI-IMAG Grenoble, France, 1991
20. E Maraninchi: Operational and Compositional Semantics of Synchronous Automaton Compositions, LNCS, vol. 630, CONCUR '92, Springer, pp. 550-564, 1992
21. E Maraninchi: Languages for reactive systems: a common framework for comparing Statecharts and Argos, Technical Report, Spectre Report C34, LGI-IMAG, Grenoble, France, 1992
22. A. Peron: Synchronous and Asynchronous Models for Statecharts, Technical Report TD-21/93, Dipartimento di Informatica, Universita di Pisa, Italy, 1993
23. A. Pnueli, M. Shalev: What is in a Step: On the Semantics of Statecharts, LNCS, vol. 526, Springer, pp. 244-264, 1991
24. D. Scott, C. Strachey: Towards a Mathematical Semantics for Computer Languages, Proc. of Symposium on Computers and Automata, (ed. J. Fox), Polytechnic Institute of Brooklyn Press, New York, USA, pp. 19-46, 1971
25. B. Steffen: Hierarchische Spezifikationen, GI/ITG-Fachgesprach für Verteilte Systeme, Kiel, 1994