Mapping RDEVSNL-based Definitions of Constrained Network Models to Routed DEVS Simulation Models

Clarisa Espertino; Maria Julia Blas; Silvio Gonnet

doi:10.5753/jbcs.2024.3061

Authors

Clarisa Espertino Universidad Tecnológica Nacional - FRSF https://orcid.org/0009-0004-6720-112X
Maria Julia Blas INGAR - CONICET & UTN https://orcid.org/0000-0001-9629-6763
Silvio Gonnet INGAR - CONICET & UTN https://orcid.org/0000-0003-3024-4754

DOI:

https://doi.org/10.5753/jbcs.2024.3061

Keywords:

Discrete Event System Specification, Metamodeling, Context-free grammar, Modeling and Simulation

Abstract

The Routed DEVS (RDEVS) formalism has been introduced recently to provide a reasonable formalization for the simulation of routing processes over Discrete Event System Specification (DEVS) models. Due to its novelty, new software tools are required to improve the Modeling and Simulation (MS) tasks related to the RDEVS formalism. This paper presents the mapping between constrained network models obtained from textual specifications of routing processes and RDEVS simulation models implemented in Java. RDEVSNL context-free grammar (previously defined) is used to support the textual specification of a routing process as a constrained network model. Such grammar is based on a metamodel that defines the syntactical elements. This metamodel is used in this paper as a middleware that allows mapping constrained network model concepts with RDEVS simulation models. From such a constrained network model template, RDEVS Java implementations are obtained. The proposal is part of a work-in-progress intended to develop MS software tools for the RDEVS formalism using well-known abstractions to get the computational models through conceptual mapping. Using these tools, modelers can specify simulation models without needing to codify any routing implementation. The main benefits are i) reduction of implementation times and ii) satisfactory simulation model correctness regarding the RDEVS formalism.

Downloads

Download data is not yet available.

References

Alshareef, A., Blas, M. J., Bonaventura, M., Paris, T., Yacoub, A., and Zeigler, B. P. (2022). Using devs for full life cycle model-based system engineering in complex network design. In Advances in Computing, Informatics, Networking and Cybersecurity: A Book Honoring Professor Mohammad S. Obaidat’s Significant Scientific Contributions, pages 215-266. Springer. DOI: 10.1007/978-3-030-87049-2_8.

Amazon Web Services (2021a). Aws expedia group. Available online [link] Accessed: June 2021.

Amazon Web Services (2021b). Aws netflix case study. Available online [link] Accessed: June 2021.

Barros, F. J. (1997). Modeling formalisms for dynamic structure systems. ACM Transactions on Modeling and Computer Simulation (TOMACS), 7(4):501-515. DOI: 10.1145/268403.268423.

Blas, M. J., Espertino, C., and Gonnet, S. (2021). Modeling routing processes through network theory: A grammar to define rdevs simulation models. In Anais do III Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, pages 10-19. SBC. DOI: 10.5753/mssis.2021.17255.

Blas, M. J. and Gonnet, S. (2021). Computer-aided design for building multipurpose routing processes in discrete event simulation models. Engineering Science and Technology, an International Journal, 24(1):22-34. DOI: 10.1016/j.jestch.2020.12.006.

Blas, M. J., Gonnet, S., and Leone, H. (2017). Routing structure over discrete event system specification: a devs adaptation to develop smart routing in simulation models. In 2017 Winter simulation conference (WSC), pages 774-785. IEEE. DOI: 10.1109/WSC.2017.8247831.

Blas, M. J., Gonnet, S. M., Leone, H. P., and Zeigler, B. P. (2018). A conceptual framework to classify the extensions of devs formalism as variants and subclasses. In 2018 Winter Simulation Conference (WSC), pages 560-571. IEEE. DOI: 10.1109/WSC.2018.8632265.

Blas, M. J., Leone, H., and Gonnet, S. (2022). Devs-based formalism for the modeling of routing processes. Software and Systems Modeling, pages 1-30. DOI: 10.1007/s10270-021-00928-4.

Borgatti, S. P. and Halgin, D. (2011). On network theory. organization science. Articles in Advance, pages 1-14. DOI: 10.1287/orsc.1100.0641.

Dalmasso, F., Blas, M. J., and Gonnet, S. (2023). Enriching uml statecharts through a metamodel: A model driven approach for the graphical definition of devs atomic models. IEEE Latin America Transactions, 21(1):27-34. DOI: 10.1109/TLA.2023.10015142.

Eclipse Modeling Project (2022). Eclipse modeling framework. Available online [link].

Gehlot, V. and Nigro, C. (2010). An introduction to systems modeling and simulation with colored petri nets. In Proceedings of the 2010 winter simulation conference, pages 104-118. IEEE. DOI: 10.1109/WSC.2010.5679170.

Harel, D. and Rumpe, B. (2004). Meaningful modeling: What's the semantics of" semantics"? Computer, 37(10):64-72. DOI: 10.1109/MC.2004.172.

Kahraman, C. and Tüysüz, F. (2010). Manufacturing system modeling using petri nets. In Production Engineering and Management under Fuzziness, pages 95-124. Springer. DOI: 10.1007/978-3-642-12052-7_6.

Klatt, B. and Krogmann, K. (2008). Software extension mechanisms. Fakultt fr Informatik, Karlsruhe, Germany, Interner Bericht, 8:2008. Available online [link].

Krahn, H., Rumpe, B., and Völkel, S. (2007). Integrated definition of abstract and concrete syntax for textual languages. In International Conference on Model Driven Engineering Languages and Systems, pages 286-300. Springer. DOI: 10.1007/978-3-540-75209-7_20.

Mittal, S. and Douglass, S. A. (2012). Devsml 2.0: the language and the stack. SpringSim (TMS-DEVS), 17. Available online [link].

Newman, M., Barabási, A.-L., and Watts, D. J. (2011). The structure and dynamics of networks. Princeton university press. DOI: 10.1515/9781400841356.

OMG (2002). Meta object facility (mof) specification, version 1.4. Available online [link].

OMG (2014). Object constraint language specification, version 2.4. Available online [link].

OMG (2017). Unified modeling language, version 2.5.1. Available online [link].

Pan, W. (2011). Applying complex network theory to software structure analysis. International Journal of Computer and Systems Engineering, 5(12):1634-1640. DOI: 10.5281/zenodo.1332884.

Parr, T. (2022). Antlr. Available online [link].

Parsons, J. and Wand, Y. (1997). Choosing classes in conceptual modeling. Communications of the ACM, 40(6):63-69. DOI: 10.1145/255656.255700.

Sarjoughian, H. S. and Zeigler, B. (1998). Devsjava: Basis for a devs-based collaborative m&s environment. Simulation Series, 30:29-36. Available online [link].

Sprinkle, J., Rumpe, B., Vangheluwe, H., and Karsai, G. (2007). 3 metamodelling: State of the art and research challenges. In Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems, pages 57-76. Springer. DOI: 10.1007/978-3-642-16277-0_.

The Eclipse Foundation (2022a). Acceleo. Available online [link].

The Eclipse Foundation (2022b). Eclipse. Available online [link].

Wen, L., Kirk, D., and Dromey, R. G. (2007). Software systems as complex networks. In 6th IEEE International Conference on Cognitive Informatics, pages 106-115. IEEE. DOI: 10.1109/COGINF.2007.4341879.

Zakari, A., Lee, S. P., and Chong, C. Y. (2018). Simultaneous localization of software faults based on complex network theory. IEEE Access, 6:23990-24002. DOI: 10.1109/ACCESS.2018.2829541.

Zeigler, B. and Sarjoughian, H. S. (2017). Devs natural language models and elaborations. Guide to Modeling and Simulation of Systems of Systems, pages 43-69. DOI: 10.1007/978-3-319-64134-8_4.

Zeigler, B. P., Muzy, A., and Kofman, E. (2018). Theory of modeling and simulation: discrete event & iterative system computational foundations. Academic press. Book.

Zeigler, B. P. and Nutaro, J. J. (2016). Towards a framework for more robust validation and verification of simulation models for systems of systems. The Journal of Defense Modeling and Simulation, 13(1):3-16. DOI: 10.1177/1548512914568657.