Propriétaires :Expression Expression
Définition de l'association "dérive"
La dérivation est un concept clef : dans l'esprit du standard MDA, elle est le mécanisme qui produit des éléments de modèles ou de code à partir d'un élément d'un modèle antérieur.
Cette association est inscrite comme réflexive sur la méta-classe Expression car :
1° C'est bien au niveau M2 qu'elle se définit, pour se manifester au niveau M1.
2° Inscrite au plus haut niveau de généricité sur lequel elle fait sens, il sera inutile de la rappeler par la suite.
Contrainte
La liberté octroyée par le point n°2 devra être encadrée par des contraintes. De façon générale, la dérivation doit respecter l'ordonnancement des niveaux (ou des aspects dans la Topologie). Il suffit de dire que les deux "expressions" sont dans des aspects différents : le contrôle des dépendances entre les paquetages fait le reste.
Traduction pour la modélisation
L'association "dérive" du méta-modèle se manifestera dans les modèles normaux (M1) par une dépendance stéréotypée "dérive" entre les éléments d'aspects différents. Par exemple : une "Machine logique" dérive d'une classe sémantique représentant un "objet métier".
Rôles :