Publications des agents du Cirad

Cirad

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

Müller J.P.. 2020. In : Convergence entre la théorie de la modélisation et de la simulation et les systèmes multi-agents. Toulouse : Cépaduès, p. 75-84. Journées francophones de la modélisation et de la simulation (JFMS 2020), 2020-11-02/2020-11-06, Cargèse (France).

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.

Documents associés

Communication de congrès

Agents Cirad, auteurs de cette publication :