Rpublique Tunisienne

Ministre de lEnseignement Suprieur et de la Recherche

Scientifique
Universit De Sousse
Institut Suprieur des Sciences Applique et de Technologie de Sousse



Module : Ingnierie de modle


Rapport: TD MDA
Mta modlisation et Profils

Master de Recherche informatique SPI

Propos par : Dr.Maddah Mohamed
Elabor par : Mr :Shili Mohamed
Mlle : Zaghdoud Mounira

Anne Universitaire : 2013**2014

2

Copyright 2014 Shili Mohamed, Mounira zaghdoud

Modle de composant

Figure 1 : le mta-modle de composant
1. Dfinissez Un mta-modle de ce modle de composant. Il est compos dun
diagramme de classe UML et de contraintes OCL.

Figure N2 : Diagramme de classe UML

3

Copyright 2014 Shili Mohamed, Mounira zaghdoud

Les Contrainte OCL
Les contraintes OCL manquantes sur le mta-modle de classe pour qu'il soit complet sont.
1. Valeur de gestion de pression doit tre positive
Context Capteur Pression:
Inv: selef.valeur >0
2. Une table doit possder une cl primaire
Context Gestion Temperature:
self.feature->select (isStereotyped("ClefPrimaire")).notEmpty
3. Une classe sans attribut
Context Gestion Pression:
Inv: attributs----> notEmpty
2. Proposez un Profil.

Eclipse Payrus


4

Copyright 2014 Shili Mohamed, Mounira zaghdoud

Figure N3 : Profil
Il faut utiliser un diagramme de profil au lieu d'un diagramme de classe. Vous pouvez garder
les mmes classes mais les modliser sous format de strotype et puis chaque strotype
devrait tendre un ou plusieurs mta-classe UML (par exemple, class, acteur, package,
activity, etc.).