Métaclasse (class)

• Une métaclasse a les propriétés suivantes :
• Possède un nom.
• Peut hériter d’une ou de plusieurs autres métaclasses.
  • L’héritage signifie que la sousclasse possède tous les méta-attributs et toutes les méta-opérations de la superclasse.
  • Si une métaclasse hérite de plusieurs métaclasses, il est impératif que ces métaclasses n’aient pas de méta-attributs ni de méta-opérations de mêmes noms.
• Peut être abstraite. Si tel est le cas, aucun méta-objet ne peut être une instance directe de cette métaclasse.
• Peut être considérée comme feuille (leaf) ou racine (root) d’un arbre d’héritage.
• Si la métaclasse est feuille, cela signifie qu’aucune autre métaclasse ne peut en hériter.
• Si la métaclasse est racine, elle ne peut hériter d’une autre métaclasse.

Méta-attribut (attribute)

• Un méta-attribut à les propriétés suivantes :
• Possède un nom.
• Possède une portée (scope). Peut être de niveau méta-objet ou métaclasse.:
  • Si la portée est de niveau méta-objet (instance_level), cela signifie que le méta-objet porte la valeur du méta-attribut.
  • Si la portée est de niveau métaclasse (classifier_level), cela signifie que la métaclasse porte la valeur du méta-attribut pour tous les méta-objets instances.
• Possède un type. Peut être une métaclasse ou un type de donnée.
• Peut être ou non modifiable (isChangeable). S’il est non modifiable, cela signifie en quelque sorte que le méta-attribut a une valeur constante.
• Peut être considéré comme dérivé (isDerived). Si le méta-attribut est dérivé, cela signifie que sa valeur peut être calculée, par exemple, grâce aux valeurs d’autres méta-attributs de la métaclasse.
• Possède une multiplicité (multiplicity). La multiplicité est spécifiée par trois informations: La première contient les bornes maximale (upper) et minimale (lower) de la multiplicité.

  Par exemple: un méta-attribut ayant 0 comme borne minimale et 1 comme borne maximale est un méta-attribut optionnel, tandis qu’un attribut ayant 1 comme borne minimale et l’infini (représenté par le caractère *) comme borne maximale est un méta-attribut obligatoire pouvant avoir une infinité de valeurs.

• Les deux autres informations ne concernent que les méta-attributs ayant une borne maximale supérieure à 1:
  • L’information « ordonné » (is_ordered) permet de spécifier que l’ensemble des valeurs du méta-attribut est ordonné.
• l’information « unique » (is_unique) que l’ensemble des valeurs du méta-attribut ne doit pas contenir de doublon.

Méta-opération (operation)

• Une méta-opération a les propriétés suivantes :
• Possède un nom.
• Possède une portée. Peut être de niveau méta-objet ou métaclasse.
  • Si la portée est de niveau méta-objet, il est possible de demander à un méta-objet de réaliser la métaopération.
  • Si la portée est de niveau métaclasse, il est possible de demander directement à la métaclasse de réaliser la méta-opération.
• Peut contenir zéro ou plusieurs métaparamètres d’entrée.
  • Un métaparamètre, comme un méta-attribut, a un nom, un type et une multiplicité.
• De plus, il a une direction (direction). Cette direction est soit monodirectionnelle, soit bidirectionnelle.
  • Si elle est monodirectionnelle, elle peut être soit de l’appelant vers l’appelé (in), l’appelant donnant la valeur au métaparamètre, soit de l’appelé vers l’appelant (out), l’appelé donnant la valeur au métaparamètre.
  • Si elle est bidirectionnelle (in_out), c’est indifféremment l’appelant ou l’appelé qui donne la valeur au métaparamètre.
• Peut optionnellement définir un type de retour. Ce dernier peut être soit une métaclasse, soit un type de donnée. Si une méta-opération n’a pas de type de retour, on considère qu’elle ne retourne rien et non pas qu’elle retourne un ensemble vide (void).
• Peut jeter une ou plusieurs exceptions. Une exception a un nom et peut contenir zéro ou plusieurs attributs permettant de la renseigner.

Type de donnée (dataType)

• Les types de données permettent de définir des types non-objet.
• MOF1.4 permet de définir deux sortes de types de données : les types primitifs et les types construits.
• types primitifs :
  • boolean : la valeur est soit vrai (true), soit faux (false).
  • integer : la valeur est un entier compris en entre – 231 et + 231– 1.
  • long : la valeur est un entier compris entre – 26161 et + 26161 – 1.
  • float : la valeur est définie par la norme ANSI/IEEE 754-1985.
  • double : la valeur est définie par la norme ANSI/IEEE 754-1985.
  • string : la valeur est une chaîne de caractères encodée en 16 bits.
• les types construits:
  • les énumérations,
  • les alias et
  • les structures.
  [ Sommaire ]

  ---

  Méta-association (association)

  • Une méta-association a les propriétés suivantes :
  • Possède un nom.
  • Contient obligatoirement deux extrémités (associationEnd). Ce sont les extrémités d’une méta-association qui sont reliées aux métaclasses.
  • Extrémité d’association (associationEnd):
  • Possède un type. Le type de l’extrémité identifie la métaclasse reliée par la métaassociation.
  • Possède un nom. Correspond au nom du rôle que joue la métaclasse reliée.
  • Possède une multiplicité (même multiplicité que les méta-attributs).
  • Cette multiplicité permet de spécifier le nombre d’instances de la métaclasse identifiée par le type de l’extrémité pouvant être liées à exactement une instance de la métaclasse de l’autre extrémité de l’association.

    

  • Une extrémité de méta-association dispose d’une spécification d’agrégation. Celle-ci peut être soit :
    • composite (composite) : Une spécification d’agrégation composite entraîne que les méta-objets (instances de la métaclasse identifiée par le type de l’extrémité) contiennent les méta-objets instances de la métaclasse identifiée par le type de l’autre extrémité (extrémité opposée).

    

  [ Sommaire ]

  ---

  Référence (reference)

  • Une référence est une sorte de méta-attribut permettant essentiellement de naviguer via les méta-associations.
  • Comme un méta-attribut, une référence a un nom, un type, une multiplicité, etc.
  • La différence avec les méta-attributs réside dans le fait que le type de la référence ne peut être qu’une métaclasse reliée par une méta-association avec la métaclasse qui contient la référence.
  [ Sommaire ]

  ---

  Package

  • MOF1.4 propose le concept de package, qui permet de grouper différents éléments d’un même métamodèle.
  • L’objectif est :
    • d’une part, de regrouper les éléments d’un métamodèle portant sur un même domaine, par exemple, les éléments relatifs aux diagrammes de classes,
    • et, d’autre part, de gérer plus facilement les méta-objets instances d’un ensemble de métaclasses( Il est ainsi possible de stocker dans un même espace mémoire des méta-objets dépendant les uns des autres).
  • Un package a les propriétés suivantes :
  • Possède un nom.
  • Contient zéro ou plusieurs métaclasses, méta-associations reliant ces classes et types de données nécessaires.
  • Peut contenir zéro ou plusieurs autres packages.
  • Lorsqu’un élément est dans un package (métaclasse, méta-association, type de donnée, package), il dispose d’un nom complet. Ce nom correspond au nom complet du package, suivi du caractère « . », suivi du nom de l’élément.
  • par exemple: la métaclasse C est contenue dans le package B, qui est lui-même contenu dans le package A, le nom complet de la métaclasse est A.B.C.
  • Un package peut hériter d’un ou de plusieurs autres packages. Dans ce cas, le sous package acquiert tous les éléments du superpackage (métaclasses, méta-associations,types de données, packages).
  • Un package peut importer un autre package. Le package qui importe l’autre package (le package importé) peut utiliser tous les éléments du package importé.
  • Étant donné qu’un métamodèle se représente par un diagramme de classes, MOF1.4 ne propose pas de notation graphique spécifique pour l’élaboration de métamodèle et conseille la notation UML.
  • Cette approche permet :
  • d’utiliser les nombreux outils d’élaboration de diagrammes de classes UML.
  • Certains de ces outils proposent des extensions spécifiques à l’élaboration de métamodèles MOF1.4.
  • Il est important de garder en mémoire que l’objectif premier de MDA est de faciliter la construction et l’évolution des applications informatiques.
  • Les entités à modéliser dans le contexte MDA sont donc essentiellement des applications informatiques.
  • Modélisation dans le contexte MDA : les modèles MDA sont des représentations, à différents niveaux d’abstraction, de l’information nécessaire à la production et à l’évolution d’applications informatiques.
  • Les métamodèles sont au coeur de MDA:
  • Ils permettent de pérenniser la structure des modèles car ils sont eux-mêmes représentés sous forme de modèles (diagrammes de classes).
  • Ils permettent d’associer des traitements aux modèles grâce notamment aux méta-opérations des métaclasses.
  • Les liens entre métamodèles permettent enfin de bien séparer les aspects métier des aspects techniques et donc de prendre en compte les plates-formes d’exécution
  • Tout l’intérêt de MOF est de définir des mécanismes génériques sur les métamodèles grâce à une structuration commune.

    

    

  [ Sommaire ]

  ---

  Les différents standards MDA

  • MDA propose d’utiliser le métamodèle UML pour élaborer les PIM. Ce même métamodèle avec ses profils est aussi utilisé pour élaborer les PSM.
  • Le métamodèle MOF2.0 QVT est utilisé pour élaborer les transformations de modèles. Ce métamodèle permet de modéliser les passages automatiques entre les différentes phases de MDA.
  • Les métamodèles OCL (Object Constraint Language) et AS (Action Semantics) sont aussi très présents dans MDA pour spécifier les comportements des applications.
  • OCL et AS sont utilisés principalement pour l’élaboration des PIM.
  [ Sommaire ]

  ---