{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:05:09Z","timestamp":1781172309033,"version":"3.54.1"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T00:00:00Z","timestamp":1740960000000},"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":["Form. Asp. Comput."],"published-print":{"date-parts":[[2025,6,30]]},"abstract":"<jats:p>Modeling complex system requirements often requires specifying system components in separate models, which can be validated and verified in isolation from each other, and then integrating all components\u2019 behavior in order to validate the operation of the whole system. If models are executable, as for state-based formal specifications, engines to orchestrate the simulation of separate component operational models are extremely useful.<\/jats:p>\n          <jats:p>This paper presents an approach for the co-simulation, according to predefined orchestration schemas, of state-based models of separate components of a Discrete Event System. More precisely, we exploit the Abstract State Machine (ASM) formal method as state-based formalism, and we (i) define a set of operators to compose ASMs that communicate with each other through I\/O events, and (ii) present an engine to execute the compositional simulation of the ASMs as a whole assembly.<\/jats:p>\n          <jats:p>As proof of concepts, we use a set of model examples of Discrete Event Systems of increasing complexity to show the application of our approach and to evaluate its effectiveness in co-simulating models of real systems.<\/jats:p>","DOI":"10.1145\/3652862","type":"journal-article","created":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T11:20:25Z","timestamp":1710588025000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems"],"prefix":"10.1145","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9679-4551","authenticated-orcid":false,"given":"Silvia","family":"Bonfanti","sequence":"first","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-0131","authenticated-orcid":false,"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1400-1026","authenticated-orcid":false,"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Milano, Milano, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9209-3624","authenticated-orcid":false,"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,3,3]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"2023. ASMETA (ASM mETAmodeling) Toolset. (2023). https:\/\/asmeta.github.io\/"},{"key":"e_1_3_2_3_2","unstructured":"2023. Jolie. (2023). https:\/\/jolie-lang.org"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1063\/5.0044445"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76020-5_13"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-13342-9_7"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-00712-x"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0230-5"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-20872-0_1"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/J.JSS.2022.111605"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56641-1"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.5555\/829603"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8_7"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2998358"},{"issue":"12","key":"e_1_3_2_15_2","article-title":"A metamodel-based language and a simulation engine for abstract state machines","volume":"14","author":"Gargantini Angelo","year":"2008","unstructured":"Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. 2008. A metamodel-based language and a simulation engine for abstract state machines. J. UCS 14, 12 (2008).","journal-title":"J. UCS"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3179993"},{"key":"e_1_3_2_17_2","unstructured":"Michael Grieves and John Vickers. 2016. Origins of the digital twin concept. Florida Institute of Technology 8 (2016) 3\u201320."},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51043-9_6"},{"key":"e_1_3_2_19_2","unstructured":"ITEMIS. 2023. YAKINDU Statechart Tools. (2023). https:\/\/itemis.com\/en\/yakindu\/state-machine"},{"key":"e_1_3_2_20_2","volume-title":"Object-Oriented Software Engineering: Practical Software Development Using UML and Java (1 ed.)","author":"Lethbridge Timothy","year":"2002","unstructured":"Timothy Lethbridge and Robert Laganiere. 2002. Object-Oriented Software Engineering: Practical Software Development Using UML and Java (1 ed.). McGraw-Hill, Inc., USA."},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.11.002"},{"key":"e_1_3_2_22_2","unstructured":"Modelica Association Project. 2023. Functional Mock-up Interface. (2023). https:\/\/fmi-standard.org\/"},{"key":"e_1_3_2_23_2","unstructured":"Object Management Group. 2023. Object Management Group Business Process Model and Notation. (2023). https:\/\/bpmn.org\/"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90636-8_5"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-013-0289-0"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59155-7_29"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59155-7_29"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81915-6_4"},{"issue":"5","key":"e_1_3_2_29_2","article-title":"A multi-paradigm modelling approach to live modelling","volume":"18","author":"Tendeloo Yentl Van","year":"2019","unstructured":"Yentl Van Tendeloo, Simon Van Mierlo, and Hans Vangheluwe. 2019. A multi-paradigm modelling approach to live modelling. Software and Systems Modeling 18, 5 (2019).","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2016.67"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-74781-1_31"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652862","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652862","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:53:56Z","timestamp":1750287236000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652862"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,3]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,6,30]]}},"alternative-id":["10.1145\/3652862"],"URL":"https:\/\/doi.org\/10.1145\/3652862","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3,3]]},"assertion":[{"value":"2023-05-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-02-28","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-03-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}