Integration of Activity Specification into DEVS Modeling & Simulation Development Environment
Resumo
We propose an integrative environment for the modeling and simulation of activity specification. The devised approach relies on the DEVS (Discrete Event System Specification) formalism for the foundational semantics of the essential activity elements. The code generation takes place afterward, targeting specific DEVS-compliant modeling and simulation (M\&S) environments such as DEVS-Suite and MS4 Me. The modelers can set parameters or modify the code to satisfy specific needs. The simulation can then be conducted with behavior monitoring and visualization. We demonstrate the approach with observations about performance evaluation and tracking. Such environments have the potential to facilitate computational model development for System of Systems via full-scale simulation support.
Referências
Alshareef, A. (2019). Activity specification for time-based discrete event simulation models. Ph.D. Dissertation, Arizona State University.
Alshareef, A., Kim, D., Seo, C., and Zeigler, B. P. (2020). Activity Diagrams between DEVS-based modeling & simulation and fUML-based model execution. In Proceedings of the 2020 Summer Simulation Conference. Society for Computer Simulation International.
Alshareef, A. and Sarjoughian, H. S. (2017). DEVS specification for modeling and simulation of the UML activities. In Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering.
Alshareef, A. and Sarjoughian, H. S. (2018). Parallelism semantics in modeling activities. In Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018, pages 6:1–6:12.
Alshareef, A. and Sarjoughian, H. S. (2019). Metamodeling activities for hierarchical component-based models. In Proceedings of SpringSim, Theory and Foundations of Modeling & Simulation (TMS), Tucson, Arizona, USA. Society for Computer Simulation International.
Eclipse Foundation (2019). Moka release (4.0.0) for Eclipse Papyrus release (4.7.0). Available at https://eclipse.org/papyrus/ (Accessed July 1, 2020).
Mathworks (2018). Simulink. Available at https://www.mathworks.com/products/simulink.html.
Mohlin, M. (2010). Model simulation in rational software architect: simulating uml models. Cupertino, CA: IBM.
MS4 Systems (2018). MS4 Me Simulator version 3.0. Available at http://ms4systems.com/pages/ms4me.php (Accessed July 1, 2020).
NoMagic (2020). Cameo Systems Modeler. Available at https://www.nomagic.com/products/cameo-systems-modeler (Accessed July 1, 2020).
OMG (2018). Semantics of a Foundational Subset for Executable UML Models (fUML) version 1.4.
OMG (2019). Precise Semantics of UML State Machines version 1.0.
Seo, C., Zeigler, B. P., and Kim, D. (2018). DEVS Markov modeling and simulation: formal definition and implementation. In Proceedings of the 4th ACM Inter. Conference of for Engineering and Sciences.
Wymore, A. W. (1993). Model-based systems engineering, volume 3. CRC press.
Zeigler, B. P., Muzy, A., and Kofman, E. (2018). Theory of modeling and simulation: discrete event and iterative system computational foundations. Academic press.
