150. Contraintes OCL - Object Constraint Language. Table des matières

Transcription

1 Document en travail! Modélisation de logiciels de gestion OCL - Object Constraint Language Table des matières 1 Préambule Positionnement d'ocl Exemple de diagramme de classe Invariant Valeur initiale d'attribut Attribut dérivé Contexte Adressage explicite - self Navigation Navigation d'une entité vers un attribut Navigation d'une entité vers une extrémité opposée d'association Navigation d'une entité vers une entité associative Navigation d'une entité vers une entité associative par une association réflexive Navigation d'une association vers une extrémité Navigation et cardinalités maximales Collections Concept Opérations de collections select() et reject() collect() forall() exists() closure() iterate() Autres opérations Eléments complémentaires Remarques let - Variable locale def - Variable globale Structure de test allinstance() Bibliographie Webographie /20

2 1 Préambule Dans ce document, nous nous contenterons d'étudier OCL dans la perspective de la modélisation de contraintes au sein de modèles conceptuels de données. Plus particulièrement, nous verrons comment: - spécifier des invariants; - spécifier des valeurs initiales et des attributs dérivés Nous nous limiterons aux aspects qui nous semblent les plus importants et nous prions le lecteur de se référer aux spécifications de l'omg pour plus de détails [OMG-2]. OCL ne permet pas de modifier l'état des occurrences d'entités et d'associations du modèle; OCL est garanti :"sans effet de bord". 2 Positionnement d'ocl OCL-Object Constraint Language est un langage formel de contraintes défini par l'omg 1 en complément à UML. Le langage OCL a comme objectif de permettre au modélisateur de rendre les modèles UML plus riches en ajoutant des spécifications que la sémantique des seuls modèles ne permet pas. [OCL-2 Chapitre 7.1] the Object Constraint Language (OCL), a formal language used to describe expressions on UML models. These expressions typically specify invariant conditions that must hold for the system being modeled or queries over objects described in a model. Note that when the OCL expressions are evaluated, they do not have side effects (i.e., their evaluation cannot alter the state of the corresponding executing system). OCL expressions can be used to specify operations / actions that, when executed, do alter the state of the system. UML modelers can use OCL to specify application-specific constraints in their models. UML modelers can also use OCL to specify queries on the UML model, which are completely programming language independent. 1 OMG - Object Mangement Group, 2/20

3 3 Exemple de diagramme de classe Le diagramme ci-dessous est repris tel quel du document [OMG-2]; nous l'utiliserons pour les exemples que nous n'avons pas reproduits. Figure 1 - Exemple de diagramme de classes [Copié de OMG-2] 3/20

4 4 Invariant Un invariant est une expression OCL qui doit être vraie quel que soit l'état des occurrences d'entités et d'associations du modèle. La syntaxe basique de création d'un invariant est de la forme: context TypeName inv simplename: expressionocl - context est un mot réservé - TypeName est l'élément de modélisation (contexte) sur lequel s'applique l'invariant - inv est le mot réservé pour un invariant - simplename est un nom optionnelle qui peut être donné à la contrainte d'invariance - expressionocl est le corps de la contrainte d'invariance qui doit être toujours vraie. A partir du modèle de la Figure 2, nous pourrions écrire l'invariant suivant: context LivreEnfant inv IntervalleAge: agemin <= agemax Quelques règles de mise en œuvre d'invariants, à partir des outils de modélisation graphiques UML: Les invariants sont posés dans des notes. La note est stéréotypée «OCL». Si la note est rattachée à un élément de modélisation, le contexte de la contrainte est implicitement le-dit élément de modélisation et peut donc être omis. Figure 2 - Exemple d'invariants De notre côté, nous avons choisi d'imposer un nom à tout invariant. 4/20

5 5 Valeur initiale d'attribut Une valeur initiale est définie par une expression OCL. La syntaxe basique d'affectation de valeur initiale à un attribut est de la forme: context TypeName::attributeName Type init: expressionocl - context est un mot réservé - TypeName est l'élément de modélisation (contexte) sur lequel s'applique la valeur par défaut - attributename est le nom de l'attribut à traiter - Type est le type de données de l'attribut traité - init est le mot réservé pour une initialisation - expressionocl est le code d'initialisation A partir du modèle de la Figure 3, nous pourrions écrire l'initialisation suivante: context LigneTicket::rabais int init: 0 Figure 3 - Exemple de valeurs initiales d'attribut En nous appuyant sur l'un ou l'autre outil de modélisation UML, la spécification de valeur initiale d'attribut est beaucoup plus aisée que la description formelle ci-dessus; en général, les outils proposent une propriété de valeur initiale, Initial value, comme dans l'exemple Visual Paradigm ci-dessous: 5/20

6 Figure 4 - Interface Visual Paradigm d'édition d'un attribut (1) A propos de la valeur initiale de l'attribut dateemission de l'entité Ticket: L'opération d'initialisation, cejour(), est une procédure fournie par l'interface IDates du composant Util selon le modèle ci-dessous. Ce modèle est purement illustratif, il nous faut encore valider les choix de modélisation de ressources externes tels que ce composant Util. Figure 5 - Services du composant Util 6/20

7 6 Attribut dérivé Un attribut dérivé est défini par une expression OCL. Dans le cadre de ce cours de modélisation des données, un attribut dérivé est un attribut dont la valeur est calculée automatiquement chaque fois qu'il est invoqué. En UML un attribut dérivé est noté avec la barre de division / devant son nom. La syntaxe basique d'affectation de valeur dérivée à un attribut est de la forme: context TypeName::attributeName Type derive: expressionocl - context est un mot réservé - TypeName est l'élément de modélisation (contexte) sur lequel s'applique la dérivation - attributename est le nom de l'attribut à traiter - Type est le type de données de l'attribut traité - derive est le mot réservé pour une dérivation - expressionocl est le code de dérivation. A partir du modèle de la Figure 6, nous pourrions écrire la dérivation suivante: context LigneTicket::montantLigne decimal derive: vendu.prix*quantite Figure 6 - Exemple d'attributs dérivés 7/20

8 En général, les outils de modélisation UML permettent de définir un attribut comme étant dérivé; nous voyons, dans le formulaire ci-dessous, la propriété Derived qu'il faut valider et compléter avec l'expression de dérivation qu'il suffit de mettre dans la propriété Initial value. Figure 7 - Interface Visual Paradigm d'édition d'un attribut (2) 8/20

9 7 Contexte En général, le contexte d'application d'une expression OCL est souvent implicite, ce peut être par l'ancrage de la note «OCL» à un objet de modélisation ou par l'écriture de l'expression OCL directement au sein de l'élément auquel elle s'applique. Toutefois, lorsque cela n'est pas possible ou souhaitable, il est tout à fait possible de mettre les contraintes OCL au sein de notes flottantes et de définir le contexte comme illustré en Figure 8. Figure 8 - Déclaration explicite du contexte 8 Adressage explicite - self Implicitement, toute expression OCL s'applique à l'élément de modélisation contextuel; toutefois, il est possible de le spécifier expressément en recourant au mot-clé self. Par rapport au modèle de la Figure 2: context LivreEnfant inv IntervalleAge: agemin <= agemax est équivalent à context LivreEnfant inv IntervalleAge: self.agemin <= self.agemax Remarque: Le recours à l'adressage explicite est particulièrement utile dans le corps d'opérations 2 comparant l'élément de contexte à l'ensemble des éléments de son conteneur [Voir chapitre ] 9 Navigation Le symbole d'indirection, le point, sert d'opérateur de navigation. La navigation s'entend: 1. d'une entité vers un attribut 2. d'une entité vers une extrémité opposée d'association 3. d'une entité vers une entité associative 4. d'une entité vers une entité associative par une association récursive 5. d'une association vers une extrémité 2 Des opérations utilisant un ou plusieurs itérateurs comme iterate() ou forall(). 9/20

10 9.1 Navigation d'une entité vers un attribut Par rapport au modèle de la Figure 2, self réfère à l'entité contextuelle, en l'occurrence LivreEnfant, et.agemin accède à l'attribut agemin context LivreEnfant inv IntervalleAge: self.agemin <= self.agemax Rappel: self. peut être omis. 9.2 Navigation d'une entité vers une extrémité opposée d'association Par rapport au modèle de la Figure 6, self réfère à l'entité contextuelle, en l'occurrence LigneTicket, et.vendu accède à l'entité Produit par l'extrémité vendu de l'association; ensuite,.prix accède à l'attribut prix. context LigneTicket::montantLigne decimal derive: self.vendu.prix*self.quantite Rappel: self. peut être omis. 9.3 Navigation d'une entité vers une entité associative La navigation se fait en référant l'entité associative comme illustré ci-dessous pour l'attribut dérivé tauxpresence. Figure 9 - Navigation vers une entité associative Rappel: Presence.taux est équivalent à self.presence.taux où self est l'entité contextuelle Enfant. 10/20

11 9.4 Navigation d'une entité vers une entité associative par une association réflexive La navigation se fait en référant l'entité associative et le rôle de départ de la navigation mis entre crochet [] comme illustré ci-dessus pour l'attribut dérivé qteparties. Figure 10 - Navigation vers une entité associative par une association réflexive Rappel: Composition[composite].qte est équivalent à self. Composition[composite].qte où self est l'entité contextuelle Produit. 9.5 Navigation d'une association vers une extrémité Le principe est le même que depuis une entité vers une extrémité opposée [Chapitre 9.2]. Figure 11 - Navigation d'une association vers une extrémité 11/20

12 10 Navigation et cardinalités maximales Lors de la navigation vers une extrémité d'association, le résultat obtenu sera potentiellement: - Une occurrence de l'entité adossée à l'extrémité lorsque la cardinalité maximale est à 1 - Une collection d'occurrences de l'entité adossée à l'extrémité lorsque la cardinalité maximale est à n. Lorsque la cardinalité maximale est à 1, OCL permet de spécifier le résultat en tant que: - occurrence d'entité ou attribut. - collection composée d'une seule occurrence ou d'un seul attribut. Le choix entre les deux possibilités se marque par l'opérateur -> qui indique que l'élément qui le précède est une collection; l'opérateur -> est toujours suivi d'une opération applicable à la collection. Dans l'exemple de la Figure 12, nous utilisons le marqueur de collection '->' pour vérifier la présence d'une éducatrice responsable et ensuite le marqueur d'indirection '.' pour accéder à l'identifiant naturel, mnemonique, de l'éducatrice responsable. Figure 12 - Exemple de marqueur '.' ou '->' 11 Collections 11.1 Concept Une collection est un ensemble d'éléments de même nature. Un ensemble peut être créé par une expression OCL ou provenir de la navigation. Set {8, 5, 6, 10} context Ticket self.partiede Ensemble créé par une requête OCL. Ensemble des lignes du ticket contextuel. [Voir Figure 6] 12/20

13 Il existe 4 types de collections: - Set; un ensemble d'éléments uniques; {8,5,6,10} - OrderedSet; un ensemble d'éléments uniques ordonnés; {5,6,8,10} - Bag; un ensemble d'éléments qui peuvent être répétés; {8,5,8,8,6,5,10} - Sequence; un ensemble d'éléments ordonnés qui peuvent être répétés; {5,5,6,8,8,8,10} 11.2 Opérations de collections select() et reject() Les opérations select (boolean-expression) et reject (boolean-expression) permettent de retourner un sous-ensemble d'une collection initiale. Les exemples ci-dessous s'appliquent à la Figure 6: context Ticket self.partiede->select (rabais > 10) context Ticket self.partiede->reject (rabais > 10) Sélectionne les lignes de ticket portant un rabais > 10% Rejette les lignes de ticket portant un rabais > 10% collect() L'opération collect (expression) permet de créer une collection à partir d'un ou plusieurs ensembles. Les exemples ci-dessous s'appliquent à la Figure 6: context Ticket self.partiede->collect (rabais) Rend une collection, Bag, constituée de l'ensemble des rabais appliqués au ticket. L'opération collect() est particulièrement intéressante lorsqu'elle est couplée à des opérations ensembliste; dans l'exemple ci-dessous, l'opération asset() rend un ensemble de rabais uniques. context Ticket self.partiede->collect (rabais)->asset() Toutefois, dans un souci de concision, l'appel à la fonction collect() peut être occultée comme ci-dessous: context Ticket self.partiede.rabais 13/20

14 forall() forall(boolean-expression) L'opération forall(boolean-expression) permet d'appliquer une contrainte à une collection. Cette opération est intéressante pour poser des invariants sur une entité enfant d'une autre entité. L'exemple ci-dessous, s'applique à la Figure 13. context Tache inv employescompetents: self.collabore->forall( maitrisedifficulte >= self.difficulte) Assume que les employés qui collaborent à une tâche ont une maitrise au moins égale à la difficulté de la tâche. Figure 13 - Exemple d'opération forall(boolean-expression) Remarque: La contrainte employescompetents posée sur l'entité Tache est pertinente dans la perspective d'un changement de valeur de l'attribut difficulte. La contrainte employecompetent posée sur l'association est pertinente lors de l'ajout d'un nouvel employé à une tâche. Dans une perspective, d'analyse sémantique très poussée, une seule contrainte pourrait être décrite et l'autre en serait déduite! 14/20

15 forall() avec deux itérateurs L'opération forall, source->forall(iterator1, iterator2; result:boolean result and body ), met en œuvre deux itérateurs qui permettent de faire un produit cartésien réflexif. forall() rend vrai si tous les éléments de la source sont tous différents; autrement, elle rend faux. L'exemple ci-dessous, repris de [OMG-2], s'applique au diagramme de classes de la Figure 1. context Company inv: self.employee->forall(e1, e2:person e1<>e2 implies e1.forename <> e2.forename) Assume que les employés ont des noms différents Remarques à propos de l'exemple ci-dessus: Conformément à nos choix de modélisation [PAS-7], nous mettrions simplement un stéréotype «U» ou plus précisément «UID» à l'attribut forename de la classe Person. Conformément à nos principes de modélisation [PAS-6], nous ne mettrions pas une telle règle, unicité du nom, car elle est manifestement trop restrictive. Remarques générales à propos du produit cartésien réflexif: Dès que le volume de données croit le produit cartésien réflexif est un mécanisme source de surcharge en effet, si la classe ou l'entité contient 10'000 enregistrements, le produit cartésien donne 100'000'000 couples! Dans le cadre d'une vérification d'intégrité lors d'une transaction, nous bannissons cette opération. Par contre, le produit cartésien nous semble envisageable au sein d'une opération de contrôle de qualité pour autant que le système ne soit pas exagérément surchargé. Le problème de la vérification lors de l'ajout ou de la modification d'un enregistrement par rapport aux autres enregistrements de la table reste et doit être résolu; nous proposons de le faire en comparant l'enregistrement en cours de traitement avec l'ensemble des autres enregistrements, ceci peut se faire explicitement avec l'opération iterate() ou implicitement avec le recours à l'opération select(). Au chapitre , iterate(), nous présentons un exemple de validation d'un enregistrement parmi l'ensemble des enregistrements de la même entité exists() L'opération exists(boolean-expression) rend vrai si la collection contient au moins un élément satisfaisant la condition booléenne passée en paramètre closure() L'opération closure(expression) permet de parcourir une associative réflexive en profondeur. La collection rendue contiendra tous les éléments depuis le premier niveau jusqu'au dernier; la collection de retour est un Set ou un OrderedSet. 15/20

16 L'exemple ci-dessous, s'applique à la Figure 12. context Educatrice def: lessubordonnees Set(Educatrice) = self.subordonneea.closure( responsable) Déclare et rend une collection des subordonnées de l'éducatrice contextuelle, les subordonnées des subordonnées et ainsi de suite iterate() L'opération iterate(iterator, result body) permet de parcourir une collection et de produire un résultat qui est un autre ensemble ou une valeur scalaire (nombre, chaîne, booléen ). Toutes les opérations que nous venons de découvrir sont des enrichissements de iterate(); elle est surtout utile pour créer de nouvelles opérations et/ou mettre en place un translateur 3 entre OCL et un langage exécutable. Figure 14 - Exemple d'opération iterate() L'exemple Figure 14 est repris de notre article traitant des tables Oracle en mutation [PAS- -10]; nous invitons le lecteur à lire le descriptif du cas pratique de cet article qui fixe les règles métier de gestion des utilisateurs. De manière très succincte, la contrainte identunique vérifie que pour tout ajout d'utilisateur ou de modification des données d'un utilisateur: Il n'y ait pas d'autre(s) utilisateur(s) de même identifiant sans date de fin ou avec une date de fin >= à la date de fin de l'utilisateur traité. 3 Dans la vision où, comme nous l'avons déjà écrit, iterate() est la brique de base de toutes les opérations de manipulation des collections. 16/20

17 Le code de la contrainte d'invariant est écrit à l'inverse de la restriction énoncée ci-dessus; les éléments-clés de notre contrainte sont: Utilisateur.allInstances Récupération de tous les enregistrements de l'entité Utilisateur ->iterate(u:utilisateur ; res: Bag(Utilisateur) = Bag{} (ident = self.ident) and (datefin <> null) and (self.datedebut <= datefin) ->isempty() Parcours itératif de tous les utilisateurs Déclaration de l'itérateur des utilisateurs Déclaration de l'objet résultat de l'itération; en l'occurrence une nouvelle collection d'utilisateurs Condition de redondance ou d'erreurs (le ou les enregistrements existants qui vérifient cette condition sont mis dans la collection de résultat) Invariant vrai si aucun enregistrement n'a été mis dans la collection res:bag(utilisateur) lors de l'itération Notre contrainte peut être décrite avec plus de concision en faisant appel à l'opération select() comme illustré en Figure 15. Figure 15 - Exemple d'opération avec un itérateur implicite Autres opérations Nous avons présenté quelques opérations significatives, la liste complète est consultable dans [OMG-2] au chapitre 11 - OCL Standard Library. De plus, cette liste fixe aussi le type de collection auquel est applicable chaque opération. A titre d'exemple, nous trouvons: isempty() ou empty() notempty () size() La collection est vide La collection n'est pas vide Le nombre d'éléments dans la collection 17/20

18 one() sum() La collection contient exactement un élément La collection doit être basée sur des valeurs numériques. Somme des valeurs numériques de la collection. 12 Eléments complémentaires 12.1 Remarques Des remarques peuvent être ajoutées au sein du corps des contraintes. -- ceci est un commentaire sur une ligne expression -- ceci est un commentaire sur une fin de ligne /* ceci est un début de commentaire et cela la fin */ 12.2 let - Variable locale Des variables "locales" peuvent être déclarées directement au sein des expresssions OCL, à l'aide des mots réservés let... in. L'exemple ci-dessous, s'applique à la Figure 6. context LigneTicket inv valeurrabais: let leprix = vendu.prix in if leprix <= 100 then rabais <= 10 else if leprix <= 500 then rabais <= 15 else rabais <= 20 endif endif Vérifie le rabais appliqué en f() du prix du produit vendu. 18/20

19 12.3 def - Variable globale Des variables "globales à un élément contextuel" peuvent être déclarées à l'aide du mot réservé def comme illustré ci-dessous. Figure 16 - Exemple de déclaration "def" Remarque: now est une variable qui contient la date du jour, c'est une variante à ce que nous avons modélisé en Figure 3; annees() est une fonction qui rend le nombre d'années entre deux dates Structure de test Les mots réservés if, then, else et endif permettent de mettre en place une structure de test. Un exemple en est donné en Figure 12. Remarque: la clause else doit toujours être présente allinstance() allinstance est une opération applicable à une entité; elle retourne l'ensemble des occurreces d'une entité. context Educatrice def: volume: integer = Educatrice.allInstance->size() Rend le nombre d'éducatrices dans la variable volume. 19/20

20 13 Bibliographie [WK-03] [PAS-6] [PAS-7] [PAS-8] [PAS-9] [PAS-10] The Object Constraint Language J. Warmer, A. Kleppe Addison Wesley, 2003 HEG-Arc Modélisation des données - Aspects macroscopiques P.-A. Sunier, 2005/2013 /chapitre_110/mcd_macro.pdf HEG-Arc Modélisation des données - Les contraintes P.-A. Sunier, 2013 /chapitre_150/contraintes.pdf HEG-Arc Bases du langage de modélisation unifié - UML P.-A. Sunier, 2013 /BachelorII/Modelisation/UML/UML_Bases.pdf HEG-Arc Langage de modélisation unifié - UML P.-A. Sunier, 2013 /BachelorII/Modelisation/UML/UML.pdf Bases de données Oracle Résolution de l'erreur ORA / Table en mutation P.-A. Sunier, 2009 /publications/soug/bd/articletablemutation.pdf 14 Webographie [I-3] [OCL-1] Wikipédia - Object Constraint Language OMG - Object Constraint Language [OMG-2] OMG - Spécifications OCL Norme ISO avril /20