{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:33Z","timestamp":1750220673878,"version":"3.41.0"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2021,5,29]],"date-time":"2021-05-29T00:00:00Z","timestamp":1622246400000},"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":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2021,7,31]]},"abstract":"<jats:p>Object orientation is a powerful and widely used paradigm for abstraction and structuring in programming. Many languages are designed with this principle or support different degrees of object orientation. In synchronous languages, originally developed to design embedded reactive systems, there are only few object-oriented influences. However, especially in combination with a statechart notation, the modeling process can be improved by facilitating object orientation as we argue here. At the same time the graphical representation can be used to illustrate the object-oriented design of a system.<\/jats:p>\n          <jats:p>\n            Synchronous statechart dialects, such as the SCCharts language, provide deterministic concurrency for specifying safety-critical systems. Using SCCharts as an example, we illustrate how an object-oriented modeling approach that supports inheritance can be introduced. We further present how external, i.e., host language, objects can be included in the SCCharts language. Specifically, we discuss how the recently developed concepts of\n            <jats:italic>scheduling directives<\/jats:italic>\n            and\n            <jats:italic>scheduling policies<\/jats:italic>\n            can be used to ensure the determinism of objects while retaining encapsulation.\n          <\/jats:p>","DOI":"10.1145\/3453482","type":"journal-article","created":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T01:14:27Z","timestamp":1622337267000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Toward Object-oriented Modeling in SCCharts"],"prefix":"10.1145","volume":"20","author":[{"given":"Alexander","family":"Schulz-Rosengarten","sequence":"first","affiliation":[{"name":"Kiel University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Smyth","sequence":"additional","affiliation":[{"name":"Kiel University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Mendler","sequence":"additional","affiliation":[{"name":"Bamberg University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,5,29]]},"reference":[{"volume-title":"Steam-Boiler Control Specification Problem","author":"Abrial Jean-Raymond","key":"e_1_2_1_1_1","unstructured":"Jean-Raymond Abrial . 1996. Steam-Boiler Control Specification Problem . Springer , Berlin , 500\u2013509. DOI:https:\/\/doi.org\/10.1007\/BFb0027252 Jean-Raymond Abrial. 1996. Steam-Boiler Control Specification Problem. Springer, Berlin, 500\u2013509. DOI:https:\/\/doi.org\/10.1007\/BFb0027252"},{"key":"e_1_2_1_2_1","unstructured":"AdaCore. 2016. High-Integrity Object-Oriented Programming in Ada v1.4. Retrieved from http:\/\/extranet.eu.adacore.com\/articles\/HighIntegrityAda.pdf.  AdaCore. 2016. High-Integrity Object-Oriented Programming in Ada v1.4. Retrieved from http:\/\/extranet.eu.adacore.com\/articles\/HighIntegrityAda.pdf."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89884-1_4"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2514738"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2003.05.007"},{"key":"e_1_2_1_6_1","first-page":"417","article-title":"Objects and synchronous programming","volume":"31","author":"Andr\u00e9 Charles","year":"1997","unstructured":"Charles Andr\u00e9 , Fr\u00e9d\u00e9ric Boulanger , Marie-Agn\u00e8s P\u00e9raldi , Jean-Paul Rigault , and Guy Vidal-Naquet . 1997 . Objects and synchronous programming . J. Eur. Syst. Automat. 31 , 3 (1997), 417 \u2013 432 . Charles Andr\u00e9, Fr\u00e9d\u00e9ric Boulanger, Marie-Agn\u00e8s P\u00e9raldi, Jean-Paul Rigault, and Guy Vidal-Naquet. 1997. Objects and synchronous programming. J. Eur. Syst. Automat. 31, 3 (1997), 417\u2013432.","journal-title":"J. Eur. Syst. Automat."},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Albert Benveniste Beno\u00eet Caillaud Dejan Nickovic Roberto Passerone Jean-Baptiste Raclet Philipp Reinkemeier Alberto Sangiovanni-Vincentelli Werner Damm Thomas Henzinger and Kim Guldstrand Larsen. 2018. Contracts for System Design. Now Foundations and Trends.  Albert Benveniste Beno\u00eet Caillaud Dejan Nickovic Roberto Passerone Jean-Baptiste Raclet Philipp Reinkemeier Alberto Sangiovanni-Vincentelli Werner Damm Thomas Henzinger and Kim Guldstrand Larsen. 2018. Contracts for System Design. Now Foundations and Trends.","DOI":"10.1561\/9781680834031"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426437"},{"key":"e_1_2_1_9_1","unstructured":"G\u00e9rard Berry. 1999. The Esterel v5 Language Primer. Retrieved from ftp:\/\/ftp-sop.inria.fr\/meije\/esterel\/papers\/primer.ps.  G\u00e9rard Berry. 1999. The Esterel v5 Language Primer. Retrieved from ftp:\/\/ftp-sop.inria.fr\/meije\/esterel\/papers\/primer.ps."},{"volume-title":"Proof, Language, and Interaction: Essays in Honour of Robin Milner","author":"Berry G\u00e9rard","key":"e_1_2_1_10_1","unstructured":"G\u00e9rard Berry . 2000. The foundations of Esterel . In Proof, Language, and Interaction: Essays in Honour of Robin Milner . MIT Press , Cambridge, MA , 425\u2013454. G\u00e9rard Berry. 2000. The foundations of Esterel. In Proof, Language, and Interaction: Essays in Honour of Robin Milner. MIT Press, Cambridge, MA, 425\u2013454."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375657.1375674"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02997708"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.026"},{"volume-title":"Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control","author":"B\u00fcssow Robert","key":"e_1_2_1_14_1","unstructured":"Robert B\u00fcssow and Matthias Weber . 1996. A steam-boiler control specification with statecharts and Z . In Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control . Springer-Verlag , Berlin , 109\u2013128. Robert B\u00fcssow and Matthias Weber. 1996. A steam-boiler control specification with statecharts and Z. In Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control.Springer-Verlag, Berlin, 109\u2013128."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542452.1542455"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.8285623"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.120312"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2018.8524036"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL50818.2020.9232942"},{"key":"e_1_2_1_20_1","series-title":"Lecture Notes in Computer Science","volume-title":"Yann Le Biannic, and Eric Nassor","author":"Hainque Olivier","year":"1999","unstructured":"Olivier Hainque , Laurent Pautet , Yann Le Biannic, and Eric Nassor . 1999 . Cronos : A separate compilation toolset for modular Esterel applications. In Proceedings of the World Congress on Formal Methods, Lecture Notes in Computer Science , Vol. 1709 . Springer , 1836\u20131853. Olivier Hainque, Laurent Pautet, Yann Le Biannic, and Eric Nassor. 1999. Cronos: A separate compilation toolset for modular Esterel applications. In Proceedings of the World Congress on Formal Methods, Lecture Notes in Computer Science, Vol. 1709. Springer, 1836\u20131853."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493420"},{"volume-title":"On the Executable Core of the UML)","author":"Harel David","key":"e_1_2_1_23_1","unstructured":"David Harel and Hillel Kugler . 2004. The Rhapsody Semantics of Statecharts (or , On the Executable Core of the UML) . Springer , Berlin , 325\u2013354. DOI:https:\/\/doi.org\/10.1007\/978-3-540-27863-4_19 David Harel and Hillel Kugler. 2004. The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML). Springer, Berlin, 325\u2013354. DOI:https:\/\/doi.org\/10.1007\/978-3-540-27863-4_19"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"volume-title":"Proceedings of the 56th ACM\/IEEE Design Automation Conference (DAC\u201919)","author":"Lohstroh Marten","key":"e_1_2_1_25_1","unstructured":"Marten Lohstroh , Martin Schoeberl , Andres Goens , Armin Wasicek , Christopher Gill , Marjan Sirjani , and Edward A. Lee . 2019. Invited: Actors revisited for time-critical systems . In Proceedings of the 56th ACM\/IEEE Design Automation Conference (DAC\u201919) . Marten Lohstroh, Martin Schoeberl, Andres Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, and Edward A. Lee. 2019. Invited: Actors revisited for time-critical systems. In Proceedings of the 56th ACM\/IEEE Design Automation Conference (DAC\u201919)."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_32"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2017.32"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126500"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9053-3"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340462"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2013.6645246"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876901"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)46346-4"},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201918)","volume":"78","author":"Smyth Steven","year":"2018","unstructured":"Steven Smyth , Alexander Schulz-Rosengarten , and Reinhard von Hanxleden . 2018 . Guidance in model-based compilations . In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201918) , Doctoral Symposium (Electronic Communications of the EASST) , Vol. 78 . Steven Smyth, Alexander Schulz-Rosengarten, and Reinhard von Hanxleden. 2018. Guidance in model-based compilations. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA\u201918), Doctoral Symposium (Electronic Communications of the EASST), Vol. 78."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03418-4_15"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715081"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.10.005"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594310"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/38765.38823"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453482","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:07Z","timestamp":1750197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,29]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,7,31]]}},"alternative-id":["10.1145\/3453482"],"URL":"https:\/\/doi.org\/10.1145\/3453482","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2021,5,29]]},"assertion":[{"value":"2020-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}