Model-Driven Engineering (MDE) : modèles, métamodèles, métamétamodèles, méta... ?

Les modèles constituent le socle de l'architecture pilotée par les modèles ( Model Driven Architecture MDA ). Dans le model driven engineering, un modèle est défini selon la sémantique d'un modèle de modèles appelé métamodèle. Un modèle respectant la sémantique d'un métamodèle est dit "conforme" à ce métamodèle.

Le modèle du réseau de Petri est composé de différents éléments : places, transitions et arcs.

Ils sont définis dans le métamodèle du réseau de Petri. De même, dans un modèle conforme à un métamodèle, il existe une relation entre les éléments du modèle et ceux du métamodèle appelée "méta relation", associant chaque élément du modèle instancié à un élément du métamodèle.

Mais un métamodèle est lui même un modèle qui doit être conforme à son propre métamodèle. Pour cela le Model Driven Architecture MDA défini un 3ème niveau correspondant au métamétamodèle.

Un métamétamodèle a pour objectif de définir la sémantique nécessaire à la spécification du métamodèle qui sera donc conforme à son métamétamodèle.

Pour éviter d'avoir un mécanisme sans fin ( métamétaméta... ), le métamétamodèle se défini lui même c'est à dire qu'il peut être spécifié avec sa propre sémantique. Par conséquent un métamétamodèle est conforme à lui même.

Plusieurs métamétamodèles sont disponibles.

Le langage ATL ( Atlas Transformation Language ), dont nous parlerons tout au long de notre série d'articles estivales, fourni 2 technologies :