research-article

Free access

Statecharts in the making: a personal account

Author:

David HarelAuthors Info & Claims

Communications of the ACM, Volume 52, Issue 3

Pages 67 - 75

https://doi.org/10.1145/1467247.1467274

Published: 01 March 2009 Publication History

All formats PDF

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.

Download
177.06 KB

Statecharts: A Visual Formalism for Complex Systems (statechartsavisualformalism.pdf)

The original 1987 paper on statecharts.

Download
1.80 MB

Statecharts in the Making: A Personal Account (statechartsinthemaking.pdf)

The 2007 version of the full paper

Download
3.22 MB

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.

Crossref

Google Scholar

[2]

Damm, W. and Harel, D. LSC s: Breathing life into message sequence charts. Formal Methods in System Design 19, 1 (2001), 45--80.

Digital Library

Google Scholar

[3]

Drusinsky, D. and Harel, D. On the power of bounded concurrency I: Finite automata. J. ACM 41 (1994), 517--539.

Digital Library

Google Scholar

[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.

Crossref

Google Scholar

[5]

Harel, D. Can programming be liberated, period? IEEE Computer 41, 1 (Jan. 2008), 28--37.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[7]

Harel, D. and Rumpe, B. Meaningful modeling: What's the semantics of 'semantics'? IEEE Computer 37, 10 (2004), 64--72.

Digital Library

Google Scholar

[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.

Google Scholar

[9]

Harel, D. and Marelly, R. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, New York, 2003.

Digital Library

Google Scholar

[10]

Harel, D. and Politi, M. Modeling Reactive Systems with Statecharts: The Statemate Approach. McGraw-Hill, New York, 1998.

Digital Library

Google Scholar

[11]

Harel, D. and Gery, E. Executable object modeling with statecharts. IEEE Computer 30, 7 (1997), 31--42.

Digital Library

Google Scholar

[12]

Harel, D. and Naamad, A. The statemate semantics of statecharts. ACM Transactions on Software Engineering Methods 5, 4 (Oct. 1996), 293--333.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[14]

Harel, D. On visual formalisms. Commun. ACM 31, 5 (May 1988), 514--530.

Digital Library

Google Scholar

[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.

Google Scholar

[16]

Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 3 (June 1987), 231--274.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[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.

Google Scholar

[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.

Crossref

Google Scholar

[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.

Google Scholar

[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.

Digital Library

Google Scholar

Cited By

View all

Berger JBruthans JVojtěch AKofránek J(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
https://doi.org/10.1177/14604582241270902
Kofránek JBerger JPolák JVojtěch A(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
https://doi.org/10.35191/medsoft_2018_1_30_44_60
Robinson-Mallett CHierons R(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
https://doi.org/10.1109/REW.2017.50
Show More Cited By

Index Terms

Statecharts in the making: a personal account

Recommendations

Hybrid MARTE statecharts

The specification of modeling and analysis of real-time and embedded systems (MARTE) is an extension of the unified modeling language (UML) in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both ...
Model Checking UML Statecharts
APSEC '01: Proceedings of the Eighth Asia-Pacific on Software Engineering Conference

Unified Modeling Language (UML)has been widelyused in software development.Verifying if an UML modelmeets the required properties has become a key issue.Model checking is an important technology of automaticformal verification to ensure the correctness ...
QoS modelling and analysis with UML-statecharts: the StoCharts approach

The UML is an influential and widespread notation for high-level modelling of information processing systems. UML statechart diagrams are a graphical language to describe system behaviour. They consitute one of the most intensively-used formalisms ...

Comments

Information & Contributors

Information

Published In

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.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
1,964
Total Downloads

Downloads (Last 12 months)85
Downloads (Last 6 weeks)8

Reflects downloads up to 01 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Berger JBruthans JVojtěch AKofránek J(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
https://doi.org/10.1177/14604582241270902
Kofránek JBerger JPolák JVojtěch A(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
https://doi.org/10.35191/medsoft_2018_1_30_44_60
Robinson-Mallett CHierons R(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
https://doi.org/10.1109/REW.2017.50
Degani AGoldman CDeutsch OTsimhoni O(2017)On human---machine relationsCognition, Technology and Work10.1007/s10111-017-0417-319:2-3(211-231)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1007/s10111-017-0417-3
Wang J(2017) UML State Machines Real‐Time Embedded Systems10.1002/9781119420712.ch8(197-218)Online publication date: 14-Jul-2017
https://doi.org/10.1002/9781119420712.ch8
Nokovic BSekerinski E(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
https://doi.org/10.1007/978-3-319-47307-9_7
Jackson M(2014)Topsy-turvy requirementsRequirements Engineering10.1007/s00766-013-0179-219:1(107-111)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1007/s00766-013-0179-2
Andolfato LKarban RSchilling MSommer HZamparelli MChiozzi G(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
https://doi.org/10.1007/978-3-319-11653-2_25
Thramboulidis K(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
https://doi.org/10.1155/2013/638521
Gammie P(2013)Synchronous digital circuits as functional programsACM Computing Surveys10.1145/2543581.254358846:2(1-27)Online publication date: 1-Nov-2013
https://dl.acm.org/doi/10.1145/2543581.2543588
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

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Supplementary Material

References

Cited By

Index Terms

Recommendations

Hybrid MARTE statecharts

Model Checking UML Statecharts

QoS modelling and analysis with UML-statecharts: the StoCharts approach

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations