Benchmarking formalisms for dynamic structure system Modeling and Simulation

TL;DR

Dynamic-structure modeling requires flexible formalisms, and the paper benchmarks DEVS-based and related approaches against defined criteria to identify gaps. It reviews DEVS, its extensions, and non-DEVS formalisms, mapping them to benchmarking criteria with assigned weights. Results show no single formalism covers all criteria, highlighting ρDEVS and Cell-DEVS as promising building blocks while exposing persistent gaps in structure data, ports, and abstract-to-executable consistency. The work motivates an adaptive, rigorously defined formalism and tool support to improve faithful dynamic-structure modeling and simulation.

Abstract

Modeling and simulation of complex systems is key to explore systems dynamics. Many scientific approaches were developed to represent dynamic structure systems but most of these approaches are efficient for some kinds of systems and inefficient for others. Which approach can be adopted for different dynamic structure systems categories is a topic of interest for many researchers and until now has not been fully resolved. Therefore it is essential to explore the existing approaches, understand them, and identify gaps. To fulfil this goal, we identified criteria at stake for a smooth flow from model creation to its simulation for dynamic structure systems. Using these criteria, we benchmark the existing modeling formalisms focusing more on DEVS extensions, and use the results to identify approaches gaps and discuss them.

Figures (3)

• Figure 1: DEVS atomic and coupled models
• Figure 2: Simulation abstraction and concrete example
• Figure 3: Benchmarking of dynamic structure systems