On the Executable Nature of Models

Eric Cariou (1) , Olivier Le Goaer (1) , Franck Barbier (1)

1 LIUPPA - Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

Within the model-driven engineering field, the concept of "i-DSML" (interpreted Domain Specific Modeling Language) refers to executable models which are interpreted through an engine. While several works discussed the key ingredients of an i-DSML, few of them answered the original question: What is the class of models that are executable by nature and those that are not? This paper attempts to provide some answers by proposing two discriminating criteria: The possibility of defining execution steps and the reification of the behavior of the running system into the executed model. On this basis, we reconsider some well-known DSML and notice a paradoxical situation with UML diagrams. \textcopyright 2016, CEUR-WS. All rights reserved.

Domaines: Informatique [cs]

Eric Cariou, Olivier Le Goaer, Franck Barbier. On the Executable Nature of Models. Proceedings of the 2nd International Workshop on Executable Modeling Co-Located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016, Oct 2016, Saint-Malo, France. pp.44-46. ⟨hal-01909100⟩