Enhancing Routed DEVS Models with Event Tracking
DOI:
https://doi.org/10.5753/jbcs.2025.4613Keywords:
Routed Discrete Event System Specification, Conceptual modeling, Software design pattern, Event flow, Modeling and simulation formalismAbstract
The Routed Discrete Event System Specification (RDEVS) is a modular and hierarchical Modeling and Simulation (M&S) formalism based on the Discrete Event System Specification (DEVS) formalism that provides a set of design models for dealing with routing problems over DEVS. At the formal level, RDEVS models (as DEVS models themselves) are defined mathematically. However, software implementations of both formalisms are based on an object-oriented paradigm. Furthermore, at the implementation design level, the RDEVS formalism is represented by a conceptual model that uses DEVS simulators as execution engines. Even when RDEVS models can be executed with DEVS simulators, the resulting data (obtained as execution outputs) remains DEVS-based, restricting the study of event flows between models influenced by routing policies. This paper shows how the RDEVS formalism design was enhanced to include event tracking in the models without altering their expected behavior during simulation. Such an improvement is based on adding new features to existing RDEVS components. These features are defined as trackers, which are responsible for getting structured data from events exchanged during RDEVS executions. The proposed solution employs the Decorator pattern as a software engineering option to achieve the required goal. It was deployed as a Java package attached to the RDEVS library, devoted to collecting structured event flow data using JavaScript Object Notation (JSON). The results highlight the modeling benefits of adding event tracking to the original capabilities of the RDEVS formalism. For the M&S community, the novel contribution is an advance in understanding how best modeling practices of software engineering can be used to enhance their software tools in general and the RDEVS formalism in particular.
Downloads
References
Alexander, C. (2018). A pattern language: towns, buildings, construction. Oxford university press. Book.
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. Springer. DOI: 10.1007/978-3-030-87049-2_8.
Blas, M., Alvarez, G., and Sarli, J. (2023a). Improving the optimization of electric power systems through a discrete event based simulation model. Journal of applied research and technology, 21(1):17-35. DOI: 10.22201/icat.24486736e.2023.21.1.2167.
Blas, M., Toniolo, M., and Gonnet, S. (2023b). Tracking events as an add-on functionality of the routed devs formalism. In Anais do V Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, pages 41-50, Porto Alegre, RS, Brasil. SBC. DOI: 10.5753/mssis.2023.235691.
Blas, M. J. and Alvarez, G. E. (2022). A simulation approach to solve power system transmission problems. International Journal of Mathematical, Engineering and Management Sciences. DOI: 10.33889/IJMEMS.2022.7.2.011.
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. and Gonnet, S. (2022). Using model-to-model transformations for web software architecture simulation. IEEE Latin America Transactions, 20(4):545-552. DOI: 10.1109/TLA.2022.9675459.
Blas, M. J., Leone, H., and Gonnet, S. (2020). Modeling and simulation framework for quality estimation of web applications through architecture evaluation. SN Applied Sciences, 2(3):374. DOI: 10.1007/s42452-020-2171-z.
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.
Chikofsky, E. J. and Cross, J. H. (1990). Reverse engineering and design recovery: A taxonomy. IEEE software, 7(1):13-17. DOI: 10.1109/52.43044.
Dahmani, Y., Ali, H. N. B., and Boubekeur, A. (2020). Xml-based devs modelling and simulation tracking. International Journal of Simulation and Process Modelling, 15(1-2):155-169. DOI: 10.1504/IJSPM.2020.106980.
Espertino, C., Blas, M. J., and Gonnet, S. (2024). Mapping rdevsnl-based definitions of constrained network models to routed devs simulation models. Journal of the Brazilian Computer Society, 30(1):17-34. DOI: 10.5753/jbcs.2024.3061.
Fowler, M. (2018). Refactoring: improving the design of existing code. Addison-Wesley Professional. Book.
Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (1995). Design patterns: elements of reusable object-oriented software. Pearson Deutschland GmbH. DOI: 10.1007/3-540-47910-4_21.
Kim, S., Sarjoughian, H. S., and Elamvazhuthi, V. (2009). Devs-suite: a simulator supporting visual experimentation design and behavior monitoring. SpringSim, 9:1-7. Available online [link].
Mens, T. and Tourwé, T. (2004). A survey of software refactoring. IEEE Transactions on software engineering, 30(2):126-139. DOI: 10.1109/TSE.2004.1265817.
Sagiroglu, S. and Sinanc, D. (2013). Big data: A review. In 2013 international conference on collaboration technologies and systems (CTS), pages 42-47. IEEE. DOI: 10.1109/CTS.2013.6567202.
Sarjoughian, H. S. and Singh, R. (2004). Building simulation modeling environments using systems theory and software architecture principles. In Proceedings of the advanced simulation technology conference, pages 99-104. Available at[link].
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].
Vernon-Bido, D., Collins, A., and Sokolowski, J. (2015). Effective visualization in modeling & simulation. In Proceedings of the 48th annual simulation symposium, pages 33-40. DOI: 10.5555/2876341.2876346.
Zeigler, B. P. (2018). Closure under coupling: concept, proofs, devs recent examples (wip). In Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences, pages 1-6. DOI: 10.1145/3213187.3213194.
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.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 Maria J. Blas, Mateo Toniolo, Silvio Gonnet
This work is licensed under a Creative Commons Attribution 4.0 International License.
