Specification languages as front-ends towards the DEVS formalism

Stephane Garredu (1) , Evelyne Vittori (1) , Jean-François Santucci (1) , Alexandre Muzy (1)

1 SPE - Sciences pour l'environnement

This paper constitutes a state-of-the art of specification languages relevant to be used as front-ends towards the DEVS (Discrete EVent System Specification) formalism. Comparison criteria are defined to evaluate specification languages for the description of DEVS structures. Finally, the need for building an original front-end, accounting for the whole criteria, is discussed.

Domaines: Modélisation et simulation

Stephane Garredu, Evelyne Vittori, Jean-François Santucci, Alexandre Muzy. Specification languages as front-ends towards the DEVS formalism. first international Symposium onEnvironment Identities and Mediterranean Area, 2006. ISEIMA '06., 2006, Corte, France. pp. 104-109, ⟨10.1109/ISEIMA.2006.345038⟩. ⟨hal-00178356⟩