{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T17:56:31Z","timestamp":1780336591573,"version":"3.54.1"},"reference-count":21,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:p>How avionics work led to a graphical language for reactive systems where the diagrams themselves define the system's behavior.<\/jats:p>","DOI":"10.1145\/1467247.1467274","type":"journal-article","created":{"date-parts":[[2009,2,25]],"date-time":"2009-02-25T14:44:30Z","timestamp":1235573070000},"page":"67-75","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Statecharts in the making"],"prefix":"10.1145","volume":"52","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,3]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/176584.176587"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1101\/gr.1215303"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.10"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238849"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.172"},{"key":"e_1_2_2_8_1","volume-title":"Integrations of Software Specification Techniques for Applications in Engineering, LNCS","author":"Harel D.","year":"2004","unstructured":"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. 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."},{"key":"e_1_2_2_9_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"Harel D.","year":"2003","unstructured":"Harel , D. and Marelly , R . Come , Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer-Verlag , New York , 2003 . Harel, D. and Marelly, R. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, New York, 2003."},{"key":"e_1_2_2_10_1","volume-title":"Modeling Reactive Systems with Statecharts: The Statemate Approach","author":"Harel D.","year":"1998","unstructured":"Harel , D. and Politi , M . Modeling Reactive Systems with Statecharts: The Statemate Approach . McGraw-Hill , New York , 1998 . Harel, D. and Politi, M. Modeling Reactive Systems with Statecharts: The Statemate Approach. McGraw-Hill, New York, 1998."},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.596624"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"e_1_2_2_15_1","volume-title":"Proceedings of the Second IEEE Symposium on Logic in Computer Science","author":"Harel D.","year":"1987","unstructured":"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. 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."},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_2_17_1","volume-title":"Logics and Models of Concurrent Systems","author":"Harel D.","year":"1985","unstructured":"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. 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."},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357085"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0808725105"},{"key":"e_1_2_2_21_1","first-page":"8","article-title":"Toward an in-silico lymph node: A realistic approach to modeling dynamic behavior of lymphocytes. In","volume":"96","author":"Swerdlin N.","year":"2008","unstructured":"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. 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.","journal-title":"Proceedings of the IEEE, Special Issue on Computational System Biology"},{"key":"e_1_2_2_22_1","first-page":"148","article-title":"A comparison of statecharts variants. In Proceedings of Formal Techniques in Real Time and Fault Tolerant Systems, LNCS, Vol. 863. Springer-Verlag","volume":"128","author":"von der Beeck M","year":"1994","unstructured":"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 . 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.","journal-title":"New York"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1467247.1467274","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1467247.1467274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:41Z","timestamp":1750253381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1467247.1467274"}},"subtitle":["a personal account"],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["10.1145\/1467247.1467274"],"URL":"https:\/\/doi.org\/10.1145\/1467247.1467274","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]},"assertion":[{"value":"2009-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}