The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but that also includes new improved elements related to the definition of atomic models. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. As an example, we show how our metamodel can be used to define the classic “switch” model. As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools.
ZeiglerBPMuzyAKofmanE. Theory of modeling and simulation: discrete event & iterative system computational foundations. 3rd ed.London: Academic Press, 2018.
2.
WainerGMostermanP. Discrete-event modeling and simulation: theory and applications. Boca Raton, FL: CRC Press, 2010.
3.
Risco-MartínJLMittalSFabero JiménezJC, et al. Reconsidering the performance of DEVS modeling and simulation environments using the DEVStone benchmark. Simulation2017; 93: 459–476.
4.
CarreiraPAmaralVVangheluweH. Foundations of multi-paradigm modelling for cyber-physical systems. Cham: Springer Nature, 2020.
5.
MuzyAZeiglerBPGrammontF. Iterative specification as a modeling and simulation formalism for I/O general systems. IEEE Syst J2017; 12: 2982–2993.
6.
HollmannDACristiáMFrydmanC. Translating DEVS conceptual models into simulation models. Simul Model Pract Theory2015; 57: 100–117.
7.
CristiáMHollmannDAFrydmanC. A multi-target compiler for CML-DEVS. Simulation2019; 95: 11–29.
8.
Van TendelooYVangheluweH. An evaluation of DEVS simulation tools. Simulation2017; 93: 103–121.
9.
NikolaidouMDalakasVMitsiL, et al. A SysML profile for classical DEVS simulators. In: 3rd international conference on software engineering advances, Sliema, Malta, 26–31 October 2008, pp. 445–450. Sliema: IARIA.
10.
SarjoughianHSAlshareefALeiY. Behavioral DEVS metamodeling. In: Proceedings of the 2015 winter simulation conference (eds YilmazLChanWMoonI, et al.), Huntington Beach, CA, 6–9 December 2015, pp. 2788–2799. New York: Institute of Electrical and Electronics Engineers.
11.
GoldsteinRBreslavSKhanA. Informal DEVS conventions motivated by practical considerations (WIP). In: Proceedings of the symposium on theory of modeling & simulation-DEVS integrative M&S symposium (eds WainerGMostermanPZacharewiczG, et al.), San Diego, CA, 7–10 April 2013, pp. 1–6. San Diego: SCS.
12.
HuYXiaoJZhaoH. DEVSMO: an ontology of DEVS model representation for model reuse. In: Proceedings of the 2013 winter simulation conference (eds PasupathyRKimSTolkA, et al.), Washington, DC, 8–11 December 2013, pp. 4002–4003. New York: Institute of Electrical and Electronics Engineers.
13.
TourailleL. Application of model-driven engineering and metaprogramming to DEVS modeling & simulation. PhD Thesis, Université d’Auvergne, Clermont-Ferrand, 2012.
14.
Van TendelooYVangheluweH. Classic DEVS modelling and simulation. In: Proceedings of the 2017 winter simulation conference, Las Vegas, NV, 3–6 December 2017, pp. 644–658. New York: Institute of Electrical and Electronics Engineers.
15.
HuXZeiglerBPMittalS. Variable structure in DEVS component-based modeling and simulation. Simulation2005; 81: 91–102.
16.
ZeiglerBPSarjoughianHS. Introduction to DEVS modeling and simulation with java: developing component-based simulation models (Technical document). Tucson, AZ: The University of Arizona, 2003.
17.
Risco MartinJLMittalSLópez-PeñaMA, et al. A W3C XML schema for DEVS scenarios. In: Proceedings of the 2007 spring simulation multiconference, Norfolk VA, 25–29 March 2007, pp. 279–286. San Diego: SCS.
18.
The Eclipse Foundation. Eclipse modeling project. Eclipse modeling framework, https://www.eclipse.org/modeling/emf/ (2021, accessed 23 February 2021).
19.
HollmannDACristiáMFrydmanC. CML-DEVS: a specification language for DEVS conceptual models. Simul Model Pract Theory2015; 57: 100–117.
20.
HongKJKimTG. DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems. Inf Softw Technol2006; 48: 221–234.
21.
JabareenY. Building a conceptual framework: philosophy, definitions, and procedure. Int J Qual Methods2009; 8: 49–62.
22.
BrambillaMCabotJWimmerM. Model-driven software engineering in practice. 2nd ed.California: Morgan Claypool Publishers, 2017.
ÖrenTMittalSDurakU. A shift from model-based to simulation-based paradigm: timeliness and usefulness for many disciplines. Int J Comput Softw Eng2018; 3: 126.
25.
CetinkayaDMittalSVerbraeckA. Model driven engineering and its application in modeling and simulation. In: MittalSMartinJLR (eds) Netcentric system of systems engineering with DEVS unified process. Boca Raton, FL: CRC Press, 2013, pp. 221–248.
26.
MittalSRisco-MartinJL. Model-driven systems engineering for netcentric system of systems with DEVS unified process. In: Proceedings of the 2013 winter simulation conference (eds PasupathyRKimSTolkA, et al.), Washington, DC, 8–11 December 2013, pp. 1140–1151. New York: Institute of Electrical and Electronics Engineers.
27.
MittalSDurakUÖrenT. Guide to simulation-based disciplines. Cham: Springer Nature, 2018.
WainerGAl-ZoubiKHillDRC. An introduction to DEVS standardization. In: WainerGMostermanPJ (eds) Discrete-event modeling and simulation: theory and applications. Boca Raton, FL: CRC Press, 2010, pp. 393–425.
32.
BarrosF. Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation. In: Proceedings of the 1995 winter simulation conference (eds AlexopoulusCKangKLilegdonWR, et al.), Arlington, VA, 3–6 December 1995, pp. 781–785. New York: Institute of Electrical and Electronics Engineers.
33.
SamuelKBouareNMaïgaO, et al. A DEVS-based pivotal modeling formalism and its verification and validation framework. Simulation2020; 96: 969–992.
34.
YacoubAHamriMFrydmanC. DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. Int J Simul Proc Model2017; 12: 313–327.
35.
YacoubAHamriMFrydmanC. DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation. Simulation2020; 96: 881–910.
