Developing RDEVS Simulation Models from Textual Specifications
Resumo
The Routed DEVS (RDEVS) formalism provides a formalization for routing process simulation. This paper presents the mapping between constrained network models obtained from textual specifications of routing processes and RDEVS simulation models implemented in Java. The proposal is part of a work-in-progress intended to develop M&S software tools for the RDEVS formalism using well-known abstractions to get the computational models attached to such abstraction models through conceptual mapping. Then, modelers can have simulation models without needing to codify any routing implementation. Benefits are i) reduction of implementation times and ii) simulation model correctness regarding the RDEVS formalism.Referências
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, pages 215-266. Springer International Publishing, Cham.
Blas, M., 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, Porto Alegre, RS, Brasil. SBC.
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.
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.
Blas, M. J., Leone, H., and Gonnet, S. (2022). Devs-based formalism for the modeling of routing processes. Softw. Syst. Model., 21(3):1179-1208.
Klatt, B. and Krogmann, K. (2008). Software extension mechanisms. Fakultt fr Informatik, Karlsruhe, Germany, Interner Bericht, 8:2008.
Mittal, S. and Douglas, S. A. (2012). Devsml 2.0: The language and the stack. Technical report, AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH.
Parr, T. (2022). Antlr. https://www.antlr.org/.
Parsons, J. and Wand, Y. (1997). Choosing classes in conceptual modeling. Communications of the ACM, 40(6):63-69.
Sarjoughian, H. S. and Zeigler, B. (1998). Devsjava: Basis for a devs-based collaborative m&s environment. Simulation Series, 30:29-36.
The Eclipse Foundation, . (2022a). Acceleo. https://www.eclipse.org/acceleo/.
The Eclipse Foundation, . (2022b). Eclipse. https://www.eclipse.org/.
The Eclipse Foundation: Eclipse Modeling Project, . (2022). Eclipse modeling framework. https://www.eclipse.org/modeling/emf/.
Zeigler, B. P., Muzy, A., and Kofman, E. (2018). Theory of modeling and simulation: discrete event & iterative system computational foundations. Academic press.
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.
Zeigler, B. P. and Sarjoughian, H. S. (2017). DEVS Natural Language Models and Elaborations, pages 43-69. Springer International Publishing, Cham.
Blas, M., 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, Porto Alegre, RS, Brasil. SBC.
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.
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.
Blas, M. J., Leone, H., and Gonnet, S. (2022). Devs-based formalism for the modeling of routing processes. Softw. Syst. Model., 21(3):1179-1208.
Klatt, B. and Krogmann, K. (2008). Software extension mechanisms. Fakultt fr Informatik, Karlsruhe, Germany, Interner Bericht, 8:2008.
Mittal, S. and Douglas, S. A. (2012). Devsml 2.0: The language and the stack. Technical report, AIR FORCE RESEARCH LAB WRIGHT-PATTERSON AFB OH.
Parr, T. (2022). Antlr. https://www.antlr.org/.
Parsons, J. and Wand, Y. (1997). Choosing classes in conceptual modeling. Communications of the ACM, 40(6):63-69.
Sarjoughian, H. S. and Zeigler, B. (1998). Devsjava: Basis for a devs-based collaborative m&s environment. Simulation Series, 30:29-36.
The Eclipse Foundation, . (2022a). Acceleo. https://www.eclipse.org/acceleo/.
The Eclipse Foundation, . (2022b). Eclipse. https://www.eclipse.org/.
The Eclipse Foundation: Eclipse Modeling Project, . (2022). Eclipse modeling framework. https://www.eclipse.org/modeling/emf/.
Zeigler, B. P., Muzy, A., and Kofman, E. (2018). Theory of modeling and simulation: discrete event & iterative system computational foundations. Academic press.
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.
Zeigler, B. P. and Sarjoughian, H. S. (2017). DEVS Natural Language Models and Elaborations, pages 43-69. Springer International Publishing, Cham.
Publicado
03/10/2022
Como Citar
ESPERTINO, Clarisa; BLAS, Maria Julia; GONNET, Silvio.
Developing RDEVS Simulation Models from Textual Specifications. In: WORKSHOP EM MODELAGEM E SIMULAÇÃO DE SISTEMAS INTENSIVOS EM SOFTWARE (MSSIS), 4. , 2022, Uberlândia/MG.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2022
.
p. 41-50.
DOI: https://doi.org/10.5753/mssis.2022.226306.
