![\"Objct](\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63134535ef7.png\")
<\/p>\nSur la base des documents de cours fournis, ce guide couvre les concepts fondamentaux, la syntaxe et les applications pratiques du langage de contrainte des objets (OCL) dans le cadre de la mod\u00e9lisation UML.<\/p>\n
<\/p>\n
Bien que les diagrammes UML (comme les diagrammes de classes) soient excellents pour visualiser la structure, ils ne peuvent pas exprimer tous les aspects pertinents d’une sp\u00e9cification.<\/p>\n
Langage naturel<\/strong>\u00a0est ambigu.<\/p>\n<\/li>\n Les langages formels traditionnels<\/strong>\u00a0sont pr\u00e9cis mais trop difficiles \u00e0 lire et \u00e0 \u00e9crire pour les mod\u00e9lisateurs de syst\u00e8mes moyens.<\/p>\n<\/li>\n OCL<\/strong>\u00a0ponte ce foss\u00e9 : c’est un langage formel<\/strong>\u00a0utilis\u00e9 pour exprimer des contraintes pr\u00e9cises, tout en restant facile \u00e0 lire et \u00e0 \u00e9crire<\/strong>.<\/p>\n<\/li>\n<\/ul>\n Langage d’expression pur :<\/strong>\u00a0Les expressions n’ont pas d’effets secondaires. L’\u00e9valuation d’une expression OCL renvoie une valeur, mais ne peut pas<\/em>\u00a0modifier l’\u00e9tat du syst\u00e8me. Elle peut toutefois d\u00e9crire<\/em>\u00a0un changement d’\u00e9tat (par exemple, dans une post-condition).<\/p>\n<\/li>\n Ce n’est pas un langage de programmation :<\/strong>\u00a0Vous ne pouvez pas \u00e9crire de logique de programme, de flux de contr\u00f4le, ni invoquer des processus\/op\u00e9rations qui modifient l’\u00e9tat.<\/p>\n<\/li>\n Langage typ\u00e9 :<\/strong>\u00a0Chaque expression a un type. Les expressions bien form\u00e9es doivent ob\u00e9ir aux r\u00e8gles de conformit\u00e9 des types. Chaque classificateur UML est un type OCL.<\/p>\n<\/li>\n \u00c9valuation instantan\u00e9e :<\/strong>\u00a0L’\u00e9tat des objets ne peut pas changer pendant<\/em>\u00a0l’\u00e9valuation d’une expression OCL.<\/p>\n<\/li>\n<\/ol>\n Chaque expression OCL est \u00e9valu\u00e9e dans le contexte d’un classificateur UML sp\u00e9cifique (classe, interface, etc.).<\/p>\n Commentaires :<\/strong>\u00a0Not\u00e9 par\u00a0 Op\u00e9rateurs infixe :<\/strong>\u00a0Vous pouvez utiliser des op\u00e9rateurs math\u00e9matiques\/logiques standards ( Utilisez la notation point\u00e9e pour acc\u00e9der aux attributs ou aux op\u00e9rations. Les parenth\u00e8ses sont obligatoires pour les op\u00e9rations, m\u00eame si elles n’ont pas de param\u00e8tres.<\/p>\n OCL inclut des types standards avec des op\u00e9rations sp\u00e9cifiques :<\/p>\n Bool\u00e9en :<\/strong>\u00a0 Entier \/ R\u00e9el :<\/strong>\u00a0Nombres (Op\u00e9rations :\u00a0 Cha\u00eene\u00a0:<\/strong>\u00a0Texte (Op\u00e9rations\u00a0:\u00a0 Les collections sont des types abstraits utilis\u00e9s pour contenir plusieurs \u00e9l\u00e9ments. Elles sont accessibles \u00e0 l’aide de la notation\u00a0 Ensemble\u00a0:<\/strong>\u00a0Ensemble math\u00e9matique (pas de doublons, non ordonn\u00e9).\u00a0 EnsembleOrdonn\u00e9\u00a0:<\/strong>\u00a0Pas de doublons, mais ordonn\u00e9 par position.\u00a0 Sac\u00a0:<\/strong>\u00a0Permet les doublons, non ordonn\u00e9.\u00a0 S\u00e9quence\u00a0:<\/strong>\u00a0Permet les doublons, ordonn\u00e9.\u00a0 Remarque\u00a0:<\/em>\u00a0Le\u00a0 Communes\u00a0:<\/strong>\u00a0 It\u00e9rateurs (Cruciaux pour OCL)\u00a0:<\/strong><\/p>\n Variations de syntaxe des it\u00e9rateurs\u00a0:<\/em><\/p>\n OCL est largement utilis\u00e9 comme langage de navigation pour parcourir les associations.<\/p>\n Naviguez en utilisant le nom du r\u00f4le oppos\u00e9. Le type de retour d\u00e9pend de la multiplicit\u00e9 :<\/p>\n Multiplicit\u00e9\u00a0 Multiplicit\u00e9\u00a0 Si un nom de r\u00f4le est manquant, utilisez le nom en minuscules de la classe \u00e0 l’autre extr\u00e9mit\u00e9 (par exemple,\u00a0 Naviguez vers une classe d’association en utilisant le nom en minuscules de la classe d’association.<\/p>\n Lorsqu’une association revient sur la m\u00eame classe (par exemple, mariage entre deux Personnes), vous devez pr\u00e9ciser la direction en utilisant des crochets\u00a0 Utilisez les attributs de qualificateur entre crochets pour s\u00e9lectionner un objet sp\u00e9cifique.<\/p>\n Utilisez\u00a0 Conditions qui doivent\u00a0toujours<\/strong>\u00a0\u00eatre vraies pour toutes les instances d’une classe.<\/p>\n Contraintes li\u00e9es aux op\u00e9rations.<\/p>\n Si une sous-expression est non d\u00e9finie (par exemple, naviguer vers une association nulle), toute l’expression est non d\u00e9finie. Toutefois, les op\u00e9rateurs bool\u00e9ens ont des exceptions de court-circuit :<\/p>\nCaract\u00e9ristiques fondamentales du OCL<\/h3>\n
\n
\n2. Syntaxe et s\u00e9mantique de base<\/h2>\n
Contexte et Self<\/h3>\n
\n
contexte<\/code><\/strong>: D\u00e9finit la classe \u00e0 laquelle la contrainte s’applique.<\/p>\n<\/li>\nself<\/code><\/strong>: Un mot r\u00e9serv\u00e9 faisant r\u00e9f\u00e9rence \u00e0 l’instance sp\u00e9cifique de la classe du contexte en cours d’\u00e9valuation.<\/p>\n<\/li>\n<\/ul>\ncontexte Person\r\n-- 'self' fait r\u00e9f\u00e9rence \u00e0 une instance sp\u00e9cifique de Person\r\n<\/code><\/pre>\nCommentaires et op\u00e9rateurs<\/h3>\n
\n
--<\/code>\u00a0(par exemple,\u00a0-- ceci est un commentaire<\/code>).<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0=<\/code>,\u00a0<<\/code>). Conceptuellement,\u00a0a + b<\/code>\u00a0est identique \u00e0\u00a0a.+(b)<\/code>.<\/p>\n<\/li>\n<\/ul>\nAcc\u00e8s aux propri\u00e9t\u00e9s<\/h3>\n
contexte Personne\r\nself.age -- Acc\u00e8de \u00e0 l'attribut 'age'\r\nself.stockPrice() -- Appelle l'op\u00e9ration 'stockPrice'\r\n<\/code><\/pre>\n
\n3. Types et collections<\/h2>\n
Types pr\u00e9d\u00e9finis de base<\/h3>\n
\n
vrai<\/code>,\u00a0faux<\/code>\u00a0(Op\u00e9rations :\u00a0et<\/code>,\u00a0ou<\/code>,\u00a0non<\/code>,\u00a0implique<\/code>,\u00a0ou exclusif<\/code>)<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0*<\/code>,\u00a0\/<\/code>,\u00a0abs<\/code>,\u00a0max<\/code>,\u00a0min<\/code>,\u00a0div<\/code>,\u00a0mod<\/code>)<\/p>\n<\/li>\ntaille<\/code>,\u00a0concat<\/code>,\u00a0sousCha\u00eene<\/code>,\u00a0enEntier<\/code>)<\/p>\n<\/li>\n<\/ul>\nCollections<\/h3>\n
-><\/code>\u00a0notation.<\/p>\n\n
Ensemble {1, 2, 5}<\/code><\/p>\n<\/li>\nEnsembleOrdonn\u00e9 {5, 4, 3}<\/code><\/p>\n<\/li>\nSac {1, 2, 2, 5}<\/code><\/p>\n<\/li>\nS\u00e9quence {1, 2, 5, 10}<\/code><\/p>\n\n
..<\/code>\u00a0La notation cr\u00e9e une s\u00e9quence d’entiers cons\u00e9cutifs\u00a0:S\u00e9quence {1..5}<\/code>.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ol>\nOp\u00e9rations cl\u00e9s sur les collections<\/h3>\n
\n
taille()<\/code>,\u00a0estVide()<\/code>,\u00a0nEstPasVide()<\/code>,\u00a0contient(v)<\/code>,\u00a0exclut(v)<\/code>,\u00a0nombre(v)<\/code>,\u00a0somme()<\/code>.<\/p>\n<\/li>\n\n
s\u00e9lectionner(expr)<\/code>: Retourne les \u00e9l\u00e9ments o\u00f9\u00a0expr<\/code>\u00a0est vrai.<\/p>\n<\/li>\nreject(expr)<\/code>: Retourne les \u00e9l\u00e9ments o\u00f9\u00a0expr<\/code>\u00a0est faux.<\/p>\n<\/li>\ncollect(expr)<\/code>: Extrait une propri\u00e9t\u00e9 sp\u00e9cifique de tous les \u00e9l\u00e9ments dans une nouvelle collection.<\/p>\n<\/li>\nforAll(expr)<\/code>: Retourne\u00a0vrai<\/code>\u00a0si\u00a0expr<\/code>\u00a0est vrai pour\u00a0tous<\/em>\u00a0\u00e9l\u00e9ments.<\/p>\n<\/li>\nexists(expr)<\/code>: Retourne\u00a0vrai<\/code>\u00a0si\u00a0expr<\/code>\u00a0est vrai pour\u00a0au moins un<\/em>\u00a0\u00e9l\u00e9ment.<\/p>\n<\/li>\niterate(elem; acc = init | expr)<\/code>: La base g\u00e9n\u00e9rique pour tous les it\u00e9rateurs.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\nself.employee->select(age > 50)\r\nself.employee->select(p | p.age > 50)\r\nself.employee->select(p: Person | p.age > 50)\r\n<\/code><\/pre>\n
\n4. Navigation dans les mod\u00e8les UML<\/h2>\n
Navigation standard<\/h3>\n
\n
1<\/code>\u00a0ou\u00a00..1<\/code>:<\/strong>\u00a0Renvoie un objet unique.<\/p>\n<\/li>\n*<\/code>:<\/strong>\u00a0Renvoie un\u00a0Ensemble<\/code>\u00a0(ou\u00a0Ensemble ordonn\u00e9<\/code>\u00a0si marqu\u00e9\u00a0{ordonn\u00e9}<\/code>).<\/p>\n<\/li>\n<\/ul>\ncontexte Company\r\nself.manager.age > 40 -- manager est 0..1, renvoie un objet Personne\r\nself.employee->notEmpty() -- employee est 0..*, renvoie un Ensemble\r\n<\/code><\/pre>\nself.bank<\/code>).<\/em><\/p>\nClasses d’association<\/h3>\n
contexte Person\r\nself.job->size() >= 1 -- 'job' est la classe d'association entre Personne et Soci\u00e9t\u00e9\r\n<\/code><\/pre>\nAssociations r\u00e9cursives<\/h3>\n
[nomR\u00f4le]<\/code>.<\/p>\ncontexte Personne\r\nself.marriage[\u00e9pouse]->select(m | m.termin\u00e9 = false)->size() = 1\r\n<\/code><\/pre>\nAssociations qualifi\u00e9es<\/h3>\n
contexte Banque\r\nself.client[12345] -- Retourne la personne sp\u00e9cifique ayant le num\u00e9ro de compte 12345\r\nself.client -- Retourne un ensemble de tous les clients\r\n<\/code><\/pre>\nRe-typage (conversion)<\/h3>\n
oclAsType()<\/code>\u00a0pour acc\u00e9der aux propri\u00e9t\u00e9s d’un sous-type ou \u00e0 une propri\u00e9t\u00e9 de la superclasse masqu\u00e9e.<\/p>\nself.oclAsType(Sous).p -- Acc\u00e8de \u00e0 la propri\u00e9t\u00e9 'p' d\u00e9finie dans le sous-type\r\nself.oclAsType(Sur).p -- Acc\u00e8de \u00e0 la propri\u00e9t\u00e9 'p' d\u00e9finie dans la superclasse\r\n<\/code><\/pre>\n
\n5. R\u00e9daction des contraintes<\/h2>\n
1. Invariants (
inv<\/code>)<\/h3>\ncontexte Soci\u00e9t\u00e9 \r\ninv: self.nombreEmploy\u00e9s <= 50\r\ninv PME: self.coursAction() > 0 -- 'PME' est un nom facultatif pour la contrainte\r\n<\/code><\/pre>\n2. Conditions pr\u00e9alables et post\u00e9rieures (
pr\u00e9<\/code>,\u00a0post<\/code>)<\/h3>\n\n
pr\u00e9<\/code><\/strong>: Doit \u00eatre vrai\u00a0avant<\/em>\u00a0l’ex\u00e9cution.<\/p>\n<\/li>\npost<\/code><\/strong>: Doit \u00eatre vrai\u00a0apr\u00e8s<\/em>\u00a0ex\u00e9cution. Utilisez\u00a0r\u00e9sultat<\/code>\u00a0pour la valeur de retour.<\/p>\n<\/li>\n@pre<\/code><\/strong>: Utilis\u00e9 dans les post-conditions pour faire r\u00e9f\u00e9rence \u00e0 la valeur d’une propri\u00e9t\u00e9\u00a0avant<\/em>\u00a0l’op\u00e9ration a commenc\u00e9.<\/p>\n<\/li>\n<\/ul>\ncontexte Personne::revenu(): Entier\r\npr\u00e9 adulte : self.age >= 18\r\npost : resultOK : r\u00e9sultat < 5000\r\n\r\ncontexte Soci\u00e9t\u00e9::embaucherEmploy\u00e9(p : Personne)\r\npost : employ\u00e9 = employ\u00e9@pre->inclure(p)\r\n<\/code><\/pre>\n3. Expressions Body, Initial et D\u00e9riv\u00e9e<\/h3>\n
\n
body<\/code><\/strong>: D\u00e9finit le r\u00e9sultat d’une op\u00e9ration de requ\u00eate (peut \u00eatre r\u00e9cursive).<\/p>\n<\/li>\ninit<\/code><\/strong>: D\u00e9finit la valeur initiale d’un attribut.<\/p>\n<\/li>\nd\u00e9rive<\/code><\/strong>: D\u00e9finit un attribut d\u00e9riv\u00e9.<\/p>\n<\/li>\n<\/ul>\ncontexte Personne::revenu(): Entier\r\nbody : self.emploi.salaire->somme()\r\n\r\ncontexte Personne::estMari\u00e9 : Bool\u00e9en\r\ninit : faux\r\n\r\ncontexte Soci\u00e9t\u00e9::nbEmploy\u00e9s : Entier\r\nd\u00e9rive : self.employ\u00e9->taille()\r\n<\/code><\/pre>\n
\n6. Fonctionnalit\u00e9s avanc\u00e9es OCL<\/h2>\n
Expressions Let et Def<\/h3>\n
\n
soit<\/code><\/strong>: D\u00e9finit une variable locale dans une seule expression.<\/p>\nsoit totHeures : Entier = self.travailleSur->collect(heures)->somme() dans totHeures >= 30\r\n<\/code><\/pre>\n<\/li>\ndef<\/code><\/strong>: D\u00e9finit des variables ou des op\u00e9rations r\u00e9utilisables attach\u00e9es \u00e0 un classificateur.<\/p>\ndef : aTitre(t : Cha\u00eene) : Bool\u00e9en = self.emploi->existe(titre = t)\r\n<\/code><\/pre>\n<\/li>\n<\/ul>\nValeurs non d\u00e9finies (logique \u00e0 3 valeurs)<\/h3>\n
\n
vrai ou <non d\u00e9fini><\/code>\u00a0=\u00a0vrai<\/strong><\/p>\n<\/li>\n