Académique Documents
Professionnel Documents
Culture Documents
Semestre : S1
Crédits : 6
Coefficients : 3
Objectifs de l’enseignement
Contenu de la matière
o Rappels
o Concepts de bases
o Exemples
o Généralités
o Formes de contraintes
o Exemples
o Graphique
o Based trée représentation
o Annotation
o Création de modèles sous Eclipse modeling tool
o Généralités
o EMF Compare
o Merge de Modèle EMF
o Exemples
o Généralités
o Eléments de spécialisation
o Exemples
o Etude de cas
Références
1. Traité de modélisation objet, Auteur(s) : Arnold Rochfeld, Philippe Rigaux,
Editeur(s) : Eyrolles, 2002.
2. La programmation orientée objet, Cours et exercices UML 2 avec Java, C#, C++,
Python, PHP et LINQ. Auteur(s) : Hugues Bersini
3. Editeur(s) : Eyrolles, 2013.
4. UML 2 pour les développeurs, Cours et exercices corrigés, de Xavier Blanc et
Isabelle Mounier, 2006
Objet, Lien
Classe d’association,
Abstraction
Modélisation
Package (Paquetage)
Ligne de vie
Activité
Synchronisation
Débranchement
Espace de nommage
Modèle
Méta-Modèle
Comment exprimer le faite que le solde d’un compte bancaire doit être toujours
positif ?
Compte
+NoCompte : int
- Solde : Real ; {solde > 0}
+ crediter(Real);
+ debiter(Real);
+ getSolde():Real;
1- Pourquoi OCL ?
OCL (Object Constraint Language) est un langage formel pour
l’expression de contraintes, standardisées par l’OMG.
Une contrainte désigne une restriction qui doit être appliquée par une
implémentation correcte du système.
Remarque
OCL est langage déclaratif typé.
Différentes façons sont possible pour associer une contrainte à un ou +sieurs éléments
du modèle :
le contexte d'un mot, d'une phrase ou d'un texte inclut les mots qui
l'entourent.
Exemple :
Context Pile inv :
nb_elements >= 0