skip to main content
research-article
Free access

Statecharts in the making: a personal account

Published: 01 March 2009 Publication History

Abstract

How avionics work led to a graphical language for reactive systems where the diagrams themselves define the system's behavior.

Supplementary Material

Executable Object Modeling with Statecharts (executableobjectmodeling.pdf)
1997 paper on statecharts and modeling object-oriented systems.
Statecharts: A Visual Formalism for Complex Systems (statechartsavisualformalism.pdf)
The original 1987 paper on statecharts.
Statecharts in the Making: A Personal Account (statechartsinthemaking.pdf)
The 2007 version of the full paper

References

[1]
Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., and de Simone, R. The synchronous languages 12 years later. Proceedings of the IEEE 91 (2003), 64--83.
[2]
Damm, W. and Harel, D. LSC s: Breathing life into message sequence charts. Formal Methods in System Design 19, 1 (2001), 45--80.
[3]
Drusinsky, D. and Harel, D. On the power of bounded concurrency I: Finite automata. J. ACM 41 (1994), 517--539.
[4]
Efroni, S., Harel, D., and Cohen, I.R. Towards rigorous comprehension of biological complexity: Modeling, execution, and visualization of thymic T cell maturation. Genome Research 13 (2003), 2485--2497.
[5]
Harel, D. Can programming be liberated, period? IEEE Computer 41, 1 (Jan. 2008), 28--37.
[6]
Harel, D. Statecharts in the making: A personal account. In Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages (San Diego, CA, June 9--10). ACM Press, New York, 2007.
[7]
Harel, D. and Rumpe, B. Meaningful modeling: What's the semantics of 'semantics'? IEEE Computer 37, 10 (2004), 64--72.
[8]
Harel, D. and Kugler, H. The Rhapsody semantics of statecharts (or, on the executable core of the UML). In Integrations of Software Specification Techniques for Applications in Engineering, LNCS, Vol. 3147, H. Ehrig et al., Eds. Springer-Verlag, New York, 2004, 325--354.
[9]
Harel, D. and Marelly, R. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, New York, 2003.
[10]
Harel, D. and Politi, M. Modeling Reactive Systems with Statecharts: The Statemate Approach. McGraw-Hill, New York, 1998.
[11]
Harel, D. and Gery, E. Executable object modeling with statecharts. IEEE Computer 30, 7 (1997), 31--42.
[12]
Harel, D. and Naamad, A. The statemate semantics of statecharts. ACM Transactions on Software Engineering Methods 5, 4 (Oct. 1996), 293--333.
[13]
Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtul-Trauring, A., and Trakhtenbrot, M. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering 16, 4 (1990), 403--414.
[14]
Harel, D. On visual formalisms. Commun. ACM 31, 5 (May 1988), 514--530.
[15]
Harel, D., Pnueli, A., Schmidt, J., and Sherman, R. On the formal semantics of statecharts. In Proceedings of the Second IEEE Symposium on Logic in Computer Science (Ithaca, NY, 1987), 54--64.
[16]
Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 3 (June 1987), 231--274.
[17]
Harel, D. and Pnueli, A. On the development of reactive systems. In Logics and Models of Concurrent Systems, K.R. Apt, Ed. NATO ASI Series, Vol. F-13, Springer-Verlag, New York, 1985, 477--498.
[18]
Harel, D. And/Or programs: A new approach to structured programming. ACM Transactions on Programming Languages and Systems 2, 1 (Jan. 1980), 1--17.
[19]
Heninger, K.L., Kallander, J.W., Shore, J.E., and Parnas, D.L. Software Requirements for the A-7E Aircraft, NRL Report 3876. Washington, D.C., Nov. 1978.
[20]
Setty, Y., Cohen, I.R., Dor, Y., and Harel, D. Fourdimensional realistic modeling of pancreatic organogenesis. In Proceedings of the National Academy of Science 105, 51 (2008), 20374--20379.
[21]
Swerdlin, N., Cohen, I.R., and Harel, D. Toward an in-silico lymph node: A realistic approach to modeling dynamic behavior of lymphocytes. In Proceedings of the IEEE, Special Issue on Computational System Biology 96, 8 (2008), 1421--1443.
[22]
von der Beeck, M. A comparison of statecharts variants. In Proceedings of Formal Techniques in Real Time and Fault Tolerant Systems, LNCS, Vol. 863. Springer-Verlag, New York, 1994, 128--148.

Cited By

View all
  • (2024)Using process model to define the legislative framework of electronic prescription in the Czech RepublicHealth Informatics Journal10.1177/1460458224127090230:3Online publication date: 8-Aug-2024
  • (2018)MODELOVÁNÍ EHEALTH PROCESŮ V POMOCÍ HIERARCHICKÝCH STAVOVÝCH AUTOMATŮ (STATECHARTS)Medsoft10.35191/medsoft_2018_1_30_44_6030:1(44-60)Online publication date: 10-Mar-2018
  • (2017)Integrating Graphical and Natural Language Specifications to Support Analysis and Testing2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)10.1109/REW.2017.50(331-338)Online publication date: Sep-2017
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
Communications of the ACM  Volume 52, Issue 3
Being Human in the Digital Age
March 2009
138 pages
ISSN:0001-0782
EISSN:1557-7317
DOI:10.1145/1467247
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2009
Published in CACM Volume 52, Issue 3

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Popular
  • Refereed

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)85
  • Downloads (Last 6 weeks)8
Reflects downloads up to 01 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Using process model to define the legislative framework of electronic prescription in the Czech RepublicHealth Informatics Journal10.1177/1460458224127090230:3Online publication date: 8-Aug-2024
  • (2018)MODELOVÁNÍ EHEALTH PROCESŮ V POMOCÍ HIERARCHICKÝCH STAVOVÝCH AUTOMATŮ (STATECHARTS)Medsoft10.35191/medsoft_2018_1_30_44_6030:1(44-60)Online publication date: 10-Mar-2018
  • (2017)Integrating Graphical and Natural Language Specifications to Support Analysis and Testing2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)10.1109/REW.2017.50(331-338)Online publication date: Sep-2017
  • (2017)On human---machine relationsCognition, Technology and Work10.1007/s10111-017-0417-319:2-3(211-231)Online publication date: 1-Sep-2017
  • (2017) UML State Machines Real‐Time Embedded Systems10.1002/9781119420712.ch8(197-218)Online publication date: 14-Jul-2017
  • (2016)Analysis and Implementation of Embedded System Models: Example of Tags in Item Management ApplicationModel-Implementation Fidelity in Cyber Physical System Design10.1007/978-3-319-47307-9_7(175-199)Online publication date: 10-Dec-2016
  • (2014)Topsy-turvy requirementsRequirements Engineering10.1007/s00766-013-0179-219:1(107-111)Online publication date: 1-Mar-2014
  • (2014)Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System DomainModel-Driven Engineering Languages and Systems10.1007/978-3-319-11653-2_25(403-419)Online publication date: 2014
  • (2013)IEC 61499 as an Enabler of Distributed and Intelligent Automation: A State-of-the-Art Review—A Different ViewJournal of Engineering10.1155/2013/6385212013(1-9)Online publication date: 2013
  • (2013)Synchronous digital circuits as functional programsACM Computing Surveys10.1145/2543581.254358846:2(1-27)Online publication date: 1-Nov-2013
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Full Access

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media