Just Accepted
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
Abstract
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’ 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.
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.
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.
References
[1]
2023. ASMETA (ASM mETAmodeling) toolset. https://asmeta.github.io/
[2]
2023. Jolie. https://jolie-lang.org
[3]
A. Abba et al. 2021. The novel Mechanical Ventilator Milano for the COVID-19 pandemic. Physics of Fluids 33, 3 (mar 2021), 037122.
[4]
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. 2021. The ASMETA Approach to Safety Assurance of Software Systems. Springer International Publishing, Cham, 215–238.
[5]
José Ángel Bañares and José Manuel Colom. 2019. Model and Simulation Engines for Distributed Simulation of Discrete Event Systems. In Economics of Grids, Clouds, Systems, and Services, Massimo Coppola, Emanuele Carlini, Daniele D’Agostino, Jörn Altmann, and José Ángel Bañares (Eds.). Springer International Publishing, Cham, 77–91.
[6]
Nelly Bencomo, Sebastian Götz, and Hui Song. 2019. [email protected]: a guided tour of the state of the art and research challenges. Software and Systems Modeling 18, 5 (2019).
[7]
Massimo Bombino and Patrizia Scandurra. 2013. A model-driven co-simulation environment for heterogeneous systems. Int. J. Softw. Tools Technol. Transf. 15, 4 (2013), 363–374. https://doi.org/10.1007/s10009-012-0230-5
[8]
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. 2022. Compositional Simulation of Abstract State Machines for Safety Critical Systems. In Formal Aspects of Component Software - 18th International Conference, FACS 2022, November 10-11, 2022, Proceedings(LNCS, Vol. 13712), Silvia Lizeth Tapia Tarifa and José Proença (Eds.). Springer, 3–19. https://doi.org/10.1007/978-3-031-20872-0_1
[9]
Silvia Bonfanti, Elvinia Riccobene, and Patrizia Scandurra. 2023. A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198(2023), 111605. https://doi.org/10.1016/J.JSS.2022.111605
[10]
Egon Börger and Alexander Raschke. 2018. Modeling Companion for Software Practitioners. Springer, Berlin, Heidelberg.
[11]
Egon Börger and Robert Stärk. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag.
[12]
Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. 2008. A Scenario-Based Validation Language for ASMs. In Proceedings of the 1st International Conference on Abstract State Machines, B and Z (ABZ 2008) (London, UK) (Lecture Notes in Computer Science, Vol. 5238). Springer-Verlag.
[13]
Aidan Fuller, Zhong Fan, Charles Day, and Chris Barlow. 2020. Digital Twin: Enabling Technologies, Challenges and Open Research. IEEE Access 8(2020), 108952–108971.
[14]
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).
[15]
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, and Hans Vangheluwe. 2018. Co-Simulation: A Survey. ACM Comput. Surv. 51, 3, Article 49 (may 2018), 33 pages. https://doi.org/10.1145/3179993
[16]
Michael Grieves. 2016. Origins of the Digital Twin Concept.
[17]
Wim Huiskamp and Tom van den Berg. 2016. Federated Simulations. Springer International Publishing, Cham, 109–137. https://doi.org/10.1007/978-3-319-51043-9_6
[18]
ITEMIS. 2023. YAKINDU Statechart Tools. https://itemis.com/en/yakindu/state-machine
[19]
Timothy Lethbridge and Robert Laganiere. 2002. Object-Oriented Software Engineering: Practical Software Development Using UML and Java (1ed.). McGraw-Hill, Inc., USA.
[20]
Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, and Patrizia Scandurra. 2014. A reliability model for Service Component Architectures. J. Syst. Softw. 89(2014), 109–127. https://doi.org/10.1016/j.jss.2013.11.002
[21]
Modelica Association Project. 2023. Functional Mock-up Interface. https://fmi-standard.org/
[22]
Object Management Group. 2023. Object Management Group Business Process Model and Notation. https://bpmn.org/
[23]
Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, and Emilio Tuosto. 2021. Corinne, a Tool for Choreography Automata. In Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings(LNCS, Vol. 13077), Gwen Salaün and Anton Wijs (Eds.). Springer, 82–92. https://doi.org/10.1007/978-3-030-90636-8_5
[24]
Elvinia Riccobene and Patrizia Scandurra. 2014. A formal framework for service modeling and prototyping. Formal Aspects Comput. 26, 6 (2014), 1077–1113. https://doi.org/10.1007/s00165-013-0289-0
[25]
Elvinia Riccobene and Patrizia Scandurra. 2020. Model-Based Simulation at Runtime with Abstract State Machines. In Software Architecture, Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Camara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, and Uwe Zdun (Eds.). Springer International Publishing, Cham.
[26]
Elvinia Riccobene and Patrizia Scandurra. 2020. Model-Based Simulation at Runtime with Abstract State Machines. In Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, Proceedings(Communications in Computer and Information Science, Vol. 1269). Springer.
[27]
Carolyn Talcott, Sofia Ananieva, Kyungmin Bae, Benoit Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf Reussner, Bernhard Rumpe, Patrizia Scandurra, and Hans Vangheluwe. 2021. Composition of Languages, Models, and Analyses. Springer International Publishing, Cham, 45–70.
[28]
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).
[29]
Danny Weyns and M. Usman Iftikhar. 2016. Model-Based Simulation at Runtime for Self-Adaptive Systems. In 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Samuel Kounev, Holger Giese, and Jie Liu (Eds.). IEEE Computer Society.
[30]
Frank Zeyda, Julien Ouy, Simon Foster, and Ana Cavalcanti. 2018. Formalising Cosimulation Models. In Software Engineering and Formal Methods, Antonio Cerone and Marco Roveri (Eds.). Springer International Publishing, Cham, 453–468.
Index Terms
- A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
Recommendations
Compositional Simulation of Abstract State Machines for Safety Critical Systems
Formal Aspects of Component SoftwareAbstractModel-based simulation is nowadays an accepted practice for reliable prototyping of system behavior. To keep requirements complexity under control, system components are specified by separate models, validated and verified in isolation from the ...
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications
ABZ'10: Proceedings of the Second international conference on Abstract State Machines, Alloy, B and ZThis paper presents AsmetaSMV, a model checker for Abstract State Machines (ASMs). It has been developed with the aim of enriching the ASMETA (ASM mETAmodeling) toolset – a set of tools for ASMs – with the capabilities of the model checker NuSMV to ...
An abstract state machine semantics for discrete event simulation
WSC '17: Proceedings of the 2017 Winter Simulation ConferenceWe define an operational (transition system) semantics for the two most basic forms of Discrete Event Simulation (DES): event-based simulation (without objects) and object-event simulation. We show that under our operational semantics, DES models ...
Comments
Information & Contributors
Information
Published In
Copyright © 2024 Copyright held by the owner/author(s). Publication rights licensed to ACM.
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 the author(s) 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
Online AM: 16 March 2024
Accepted: 28 February 2024
Revised: 18 December 2023
Received: 26 May 2023
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 63Total Downloads
- Downloads (Last 12 months)63
- Downloads (Last 6 weeks)17
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in