Parallel-Devs Specification Language for Modeling: Mathematical Approach and Grammar

In this article, we propose a new formal language called the Formal Parallel-DEVS Modeling Language (FPDEVSML) as a platform-independent specification of the Parallel-DEVS (PDEVS) formalism. The DEVS (Discrete Event Systems Specification) formalism enables the specification of discrete event models in a hierarchical and modular manner, providing a solid foundation for the modeling, simulation, and analysis of discrete systems. FPDEVSML is based on a grammar with a rigorous mathematical structure that formalizes the sets and mathematical objects used in PDEVS modeling. The main objective of the proposed approach is to provide a formal framework for specifying and analyzing a system and to improve interoperability between PDEVS simulators. FPDEVSML can be used as an intermediate target language for DSLs. The specified models can then be translated into different forms of code using code generators and then executed with various tools for model verification and execution.