Proposition d'une sémantique catégorielle de DEVS

Müller Jean Pierre. 2020. Proposition d'une sémantique catégorielle de DEVS. In : Convergence entre la théorie de la modélisation et de la simulation et les systèmes multi-agents. Collectif Workshop RED. Toulouse : Cépaduès, 75-84. ISBN 978-2-36493-75-4 Journées francophones de la modélisation et de la simulation (JFMS 2020), Cargèse, France, 2 Novembre 2020/6 Novembre 2020.

Résumé : La sémantique de DEVS repose essentiellement sur sa sémantique opérationnelle sous forme de propositions d'interpréter ou en utilisant la logique temporelle. Dans ce papier, nous proposons reconstruire une sémantique dénotationnelle des modèles DEVS atomique et couplé en utilisant la théorie des catégories. Plus précisément nous représentons les séquences d'événements et d'états à l'aide de monoïdes et construisons la sémantique comme des morphismes entre monoïdes. Cette sémantique permet de concevoir des généralisations de DEVS et apporte un arsenal formel de preuves de propriétés.

Résumé (autre langue) : The semantics of DEVS is essentially based on its operational semantics in the form of propositions to interpret or using temporal logic. In this paper, we propose to reconstruct a denotational semantics of atomic and coupled DEVS models using category theory. More precisely we represent sequences of events and states using monoids and construct the semantics as morphisms between monoids. This semantics allows us to design generalizations of DEVS and provides a formal arsenal of proofs of properties

Mots-clés libres : Théorie des catégories, DEVS, Sémantique dénotationnelle

Auteurs et affiliations

• Müller Jean Pierre, CIRAD-ES-UPR GREEN (FRA) ORCID: 0000-0003-4614-0108

Source : Cirad-Agritrop (https://agritrop.cirad.fr/596942/)

Métriques

[ Page générée et mise en cache le 2021-04-14 ]