Skip to main content
SpringerLink
Log in

A comparison of Statecharts variants

  • Conference paper
  • First Online:
Book cover Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1994, ProCoS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 863))

Abstract

The Statecharts formalism supports the development of intuitive graphical specifications for reactive systems. Nevertheless, some serious problems became apparent in the original Statecharts formalism so that many different Statecharts variants were proposed to overcome them. These problems are thoroughly described and approaches for solving them are evaluated. Furthermore, a set of distinctive features is elaborated which is used for a detailed comparison of the Statecharts variants. Finally, the feature set is used to characterize a new hypothetical Statecharts variant.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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

    Google Scholar 

  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

    Google Scholar 

  3. G. Berry: Preemption in Concurrent Systems, Proc. of FSTTCS 93, LNCS, vol. 761, Springer, pp. 72–93, 1993

    Google Scholar 

  4. G. Berry, G. Gonthier: The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol. 19, pp. 87–152, 1992

    Google Scholar 

  5. G. Berry, S. Ramesh, R. Shyamasundar: Communicating Reactive Processes, Proc. of ACM Symp. on Principles of Programming Languages, Charleston, 1993

    Google Scholar 

  6. A. Classen: Modulare Statecharts: Ein formaler Rahmen zur hierarchischen ProzeΒspezifikation, Master Thesis, (in German), Lehrstuhl für Informatik II, Aachen University of Technology, Germany, 1993

    Google Scholar 

  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

    Google Scholar 

  8. D. Harel: Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol. 8, pp. 231–274, 1987

    Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  11. C. Hoare: Communicating Sequential Processes, Prentice Hall, 1987

    Google Scholar 

  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

    Google Scholar 

  13. C. Huizing: Semantics of Reactive Systems: Comparison and Full Abstraction, Ph.D. thesis, Technical University Eindhoven, The Netherlands, 1991

    Google Scholar 

  14. C. Huizing, R. Gerth: Semantics of Reactive Systems in Abstract Time, LNCS, vol. 600, Springer, pp. 291–314, 1992

    Google Scholar 

  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

    Google Scholar 

  16. Y. Kesten, A. Pnueli: Timed and Hybrid Statecharts and their Textual Representation, LNCS, vol. 571, Springer, pp. 591–620, 1992

    Google Scholar 

  17. N. Leveson, M. Heimdahl, H. Hildreth, J. Reese: Requirements Specification for Process-Control Systems, Technical Report 92-106, University of California, USA, 1992

    Google Scholar 

  18. A. Maggioli-Schettini, A. Peron: Semantics of Full Statecharts Based on Graph Rewriting, Dipartimento di Informatica, Universita di Pisa, Italy, 1993

    Google Scholar 

  19. F. Maraninchi: Argos: a Graphical Synchronous Language for the Description of Reactive Systems, RT-C29, LGI-IMAG Grenoble, France, 1991

    Google Scholar 

  20. F. Maraninchi: Operational and Compositional Semantics of Synchronous Automaton Compositions, LNCS, vol. 630, CONCUR '92, Springer, pp. 550–564, 1992

    Google Scholar 

  21. F. Maraninchi: Languages for reactive systems: a common framework for comparing Statecharts and Argos, Technical Report, Spectre Report C34, LGI-IMAG, Grenoble, France, 1992

    Google Scholar 

  22. A. Peron: Synchronous and Asynchronous Models for Statecharts, Technical Report TD-21/93, Dipartimento di Informatica, Universita di Pisa, Italy, 1993

    Google Scholar 

  23. A. Pnueli, M. Shalev: What is in a Step: On the Semantics of Statecharts, LNCS, vol. 526, Springer, pp. 244–264, 1991

    Google Scholar 

  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

    Google Scholar 

  25. B. Steffen: Hierarchische Spezifikationen, GI/ITG-FachgesprÄch für Verteilte Systeme, Kiel, 1994

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Informatik III, Aachen University of Technology, Ahornstr. 55, D-52074, Aachen, Germany

    Michael von der Beeck

Authors
  1. Michael von der Beeck
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hans Langmaack Willem-Paul de Roever Jan Vytopil

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

von der Beeck, M. (1994). A comparison of Statecharts variants. In: Langmaack, H., de Roever, WP., Vytopil, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT ProCoS 1994 1994. Lecture Notes in Computer Science, vol 863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58468-4_163

Download citation

  • DOI: https://doi.org/10.1007/3-540-58468-4_163

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58468-1

  • Online ISBN: 978-3-540-48984-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation