Towards a categorical semantics of DEVS

Müller Jean Pierre. 2021. Towards a categorical semantics of DEVS. In : Proceedings of the 2021 Annual Modeling and Simulation Conference (ANNSIM 21) : July 19-22, 2021, virtual event. SCS. New York : IEEE, 82-93. ISBN 978-1-6654-3374-7 Annual Modeling and Simulation Conference (ANNSIM 2021), s.l., États-Unis, 19 Juillet 2021/22 Juillet 2021.

https://doi.org/10.23919/ANNSIM52504.2021.9552075

Communication avec actes

	Version publiée - Anglais Accès réservé aux personnels Cirad Utilisation soumise à autorisation de l'auteur ou du Cirad. ID600104.pdf Télécharger (4MB) \| Demander une copie
	Version post-print - Anglais Accès réservé aux personnels Cirad Utilisation soumise à autorisation de l'auteur ou du Cirad. cat-semantics-devs.pdf Télécharger (565kB) \| Demander une copie

Url - éditeur : https://ieeexplore.ieee.org/xpl/conhome/9552028/proceeding

Note générale : Le congrès s'est tenu en ligne

Résumé : DEVS (Discrete EVent System) has been proposed to formalize discrete dynamical systems and is widely used for modeling and simulation. Although the operational semantics of DEVS models is well defined, and it exists some attempt to characterize their behavior using temporal logics, there is no attempt to define their denotational semantics. The meaning of a DEVS model is the set of possible coupled input, output and state trajectories. Therefore, denotational semantics is a mapping from DEVS models onto an algebra of trajectories. In this paper, we use category theory to define this algebra. This algebra, called Dyn, is made of trajectories as objects, and the DEVS behavior and structure specifications are mapped onto morphisms between trajectories, exhibiting their coupling. This result opens the way to algebraic manipulations of DEVS models, as well as the access to the results and proof mechanisms available in category theory.

Mots-clés libres : Simulation and modeling, Formal semantics, Category theory

Auteurs et affiliations