Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Ocl slides Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles OCL Object Constraint Language Une introduction Marianne Huchard janvier Introduction Types OCL Navigation Eléments du langage Collections Diagram

Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles OCL Object Constraint Language Une introduction Marianne Huchard janvier Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Sommaire Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Objectifs du langage Accompagner les diagrammes UML de descriptions précises non ambigu? s véri ables automatiquement sur les modèles éventuellement compilables vers les langages Eviter les formalismes obscurs rester facile à écrire et facile à lire utiliser la navigation des modèles Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Historique Source d'inspiration Syntropy OMT Z développement chez IBM Jos Warmer intégration dans UML OCL dans UML Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Principes Contrainte Expression à valeur booléenne qui s'attache à un élément UML Restriction ou informations complémentaires sur un modèle Langage déclaratif Les contraintes ne sont pas opérationnelles Pas d'invocation de processus ni d'opérations autres que des requêtes Pas de description du comportement à adopter si une contrainte n'est pas respectée Langage sans e n et de bord Les instances ne sont pas modi ées par les contraintes Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Principes Contextes d'utilisation Modèles Pro ls UML Méta-modèles Types d'utilisation description d'invariants sur les classes et les types pré- post-conditions sur les opérations et méthodes contraintes sur la valeur retournée règles de dérivation des attributs description de cibles pour messages et actions expression des gardes diagrammes dynamiques invariants de type pour les stéréotypes Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles La notion de contexte Une contrainte OCL est liée à un contexte type opération ou attribut Contexte context monContexte Expression de la contrainte Le stéréotype peut prendre les valeurs suivantes inv invariant de classe pre précondition post postcondition body indique le résultat d'une opération query init indique la valeur initiale d'un attribut derive indique la valeur dérivée d'un attribut Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Invariant de classe Personne - age entier - majeur booléen getAge entier query setAge in a entier context Personne inv age - - l'? ge est compris entre et ans Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Pre post conditions Personne - age entier - majeur booléen getAge entier query setAge in a entier context Personne setAge a entier pre a and a age post age a - - on peut écrire également a age Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Body Personne - age entier - majeur booléen getAge entier query setAge in a entier context Personne getAge entier body age Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles Initialisation Personne - age entier - majeur booléen getAge entier query setAge in a entier context Personne age entier init Introduction Types OCL Navigation Eléments du langage Collections Diagrammes d'états Méta-modèles La