PARALLEL-DEVS SPECIFICATION LANGUAGE FOR MODELING: MATHEMATICAL APPROACH AND GRAMMAR
LANGAGE DE SPÉCIFICATION PARALLEL-DEVS POUR LA MODÉLISATION : APPROCHE MATHÉMATIQUE ET GRAMMAIRE
Résumé
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.
Dans cet article, nous proposons un nouveau langage formel, le Formal Parallel-DEVS Modeling Language (FPDEVSML), comme langage de spécification indépendante de la plateforme du formalisme Parallel-DEVS (PDEVS). Le formalisme DEVS (Discrete Event Systems Specification) permet de spécifier des modèles à événements discrets de manière hiérarchique et modulaire, offrant ainsi une base solide pour la modélisation, la simulation et l'analyse de systèmes discrets. FPDEVSML repose sur une grammaire dotée d'une structure mathématique rigoureuse qui formalise les ensembles et objets mathématiques utilisés dans la modélisation PDEVS. L'objectif principal de l'approche proposée est de fournir un cadre formel pour la spécification et l'analyse d'un système et d'améliorer l'interopérabilité entre les simulateurs PDEVS. FPDEVSML peut être utilisé comme langage cible intermédiaire pour les DSL. Les modèles spécifiés peuvent ensuite être traduits en différentes code des langages de programmation à l'aide de générateurs de code, puis exécutés avec divers outils de vérification et d'exécution de modèles.
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |