Module B9-1 1 : sensibilisation à l UML

Transcription

1 Module B9-1 1 : sensibilisation à l UML Session 3 : Vue statique Olivier Habart : habart.olivier@free.fr ENSTA B9-1 UML (Olivier Habart) Septembre 10 Diapositive N 1 Session 2 : Vue statique Sommaire Diagramme de paquetages Diagramme de classes Diagrammes d objets Définition de contraintes TD ENSTA B9-1 UML Septembre 10 Diapositive N 2

2 Session 2 : Diagramme de paquetage Par qui? Analyste : Organiser le modèle de domaine Concepteur : Organiser le modèle des classes participantes ENSTA B9-1 UML Septembre 10 Diapositive N 3 Session 2 : Diagramme de paquetage Concepts Paquetage Pourquoi? : Organiser les éléments de modélisation en groupe qui présentent une caractéristique commune Découper les problèmes de grande taille Nommer les éléments Quoi? : Peut regrouper tout type d élément de modèle : classes, cas d utilisation, interfaces, etc. Stéréotypes : «modèle» : paquetage racine unique qui contient la totalité du modèle du système «framework» : contient des éléments qui spécifient une architecture réutilisable. Incluent des classes, patterns et «templates» «modellibrary» : contient des éléments réutilisables dans d autres paquetages. Analogue à une librairie de classes en langage de programmation Symbole : ENSTA B9-1 UML Septembre 10 Diapositive N 4

3 Session 2 : Diagramme de paquetage Concepts Import d éd élément Pourquoi? : Référencer des éléments d un autre paquetage Quoi? : Parent : Relation dirigée Import : Si la visibilité du paquetage importé est publique Accès : Si la visibilité du paquetage importé est privée Facturation «import» Données métier Clientèle Clients fréquents Les classe du paquetage «Facturation» accèdent à la classe «Clients fréquents» par l espace de nom «Clients fréquents» Facturation «access» Données métier Clientèle Clients fréquents Les classe du paquetage «Facturation» accèdent à la classe «Clients fréquents» par l espace de nom «Données métier::clientèle::clients fréquents» ENSTA B9-1 UML Septembre 10 Diapositive N 5 Session 2 : Diagramme de paquetage Concepts Fusion de paquetage Pourquoi? : Fusionner les éléments de deux paquetages Quoi? : Parent : Relation dirigée Symbole : Paquetage 1 «fusion» Paquetage 2 ENSTA B9-1 UML Septembre 10 Diapositive N 6

4 Session 2 : Diagramme de paquetage Exemple organisation des classes d un système de réservation de taxi ENSTA B9-1 UML Septembre 10 Diapositive N 7 Session 2 : Diagramme de paquetage Facteurs de regroupement Critères fonctionnels : cohérence fonctionnelle Critères d interface (réduire les interactions, éviter les couplages, simplifier ou diminuer le nombre de liens, etc.) Critères de ressources (mettre ensemble les éléments qui utilisent les mêmes ressources, etc.) Critères de contraintes : Réutilisation Standards et règlementations (ex : les systèmes à sûreté critique définissent des zones devant être isolées du système (DO-178B), etc.) Responsabilité des acteurs Jalons (dans le cas d un développement incrémental, les éléments qui seront traités à des jalons différents doivent être dissociés) ENSTA B9-1 UML Septembre 10 Diapositive N 8

5 Session 2 : Diagramme de paquetage Synthèse des concepts manipulés ENSTA B9-1 UML Septembre 10 Diapositive N 9 Session 2 : Vue statique Sommaire Diagramme de paquetages Diagramme de classes Diagrammes d objets Définition de contraintes TD ENSTA B9-1 UML Septembre 10 Diapositive N 10

6 Par qui? Analyste : Modélisation du domaine Concepteur (d architecture) : Trouver les opérations à partir des interactions Trouver les classes d analyse à partir du comportement des cas d utilisation Décrire les attributs et relations des classes d analyse Définir les classes qui implémentent les cas d utilisation Concepteur (d architecture détaillée) : Définir les éléments contenus par un sous-système Identifier les classes de persistance (carte flash, mémoire vive, fichier binaire, base de données) Utiliser les modèles spécifiques de plate-forme Utiliser les patterns de conception ENSTA B9-1 UML Septembre 10 Diapositive N 11 Par qui? Modélisation du domaine Besoins Cas d utilisation «entity» Entité 01 «entity» Entité 03 «entity» Entité 04 Modèle du domaine «entity» Entité 02 «entity» Entité 05 Pourquoi? : Opérer une transition entre la modélisation fonctionnelle des besoins par cas d utilisation et la modélisation objet Modéliser les concepts présents dans le domaine (métier) Quoi? : Première version du diagramme de classe Les classes ont pour stéréotype «entity» ENSTA B9-1 UML Septembre 10 Diapositive N 12

7 1 : insérer la carte 2 : demander code 3 : entrer le code 4 : demander le montant Commander Un taxi Payer Guichet 01 : Guichet automatique de banque Commande [validée] «datastore» Facture Facture Facture [émise] 3.1 : demander autorisation 3.2 : autorisation (limitation) Rechercher un taxi Affecter un taxi Payer [taxi OK] Course «Actor» SA 01 : Système d autorisation «datastore» Collection de taxis Course Réaliser une course Par qui? Modèle des classes participantes Modèle du domaine «entity» Entité 01 «entity» Entité 02 «entity» Entité 03 «entity» Entité 04 «entity» Entité 05 Cas d utilisation Pourquoi? : «contrôle» Contrôle 01 «entity» Entité 01 «dialog» Dialogue 01 «contrôle» Contrôle 02 «entity» Entité 02 Modèle des classes participantes Maquette d IHM Assurer l indépendance entre l interface graphique, les utilisateurs et le modèle de domaine Quoi? : Types de classes : Frontière : permettent les interactions entre utilisateurs et l IHM Contrôleur : implémentent la logique applicative (les fonctionnalités de l application) Entités : proviennent du modèle métier. Ces classes sont généralement persistantes (survivent à l exécution des cas d utilisation et sont stockées) ENSTA B9-1 UML Septembre 10 Diapositive N 13 Par qui? Modèle de conception Diagrammes d interaction «entity» Entité 01 «entity» Entité 02 «entity» Entité 01 «entity» Entité 02 «contrôle» Contrôle 01 «dialog» Dialogue 01 «contrôle» Contrôle 02 Modèle des classes participantes «contrôle» Contrôle 01 «dialog» Dialogue 01 «contrôle» Contrôle 02 Diagramme de classes de conception Diagramme d activités de navigation Définition du diagramme de classe de conception : prise en compte des choix techniques : Langage de programmation Librairies utilisées (interface graphique) Base de données Programmation Etc. ENSTA B9-1 UML Septembre 10 Diapositive N 14

8 Par qui? Concepteur (de base de données) : Décrire le modèle logique de la base de données : Décrire le modèle physique de la base de données : Définir les tables de référence Définir les clés et contraintes d unicité Définir les données et contraintes d intégrité Optimiser les performances (accès aux données) Définir les procédures stockées et distribuer le comportement des classes Concepteur (d interface graphique) : Identifier les éléments d interface Décrire la carte de navigation ENSTA B9-1 UML Septembre 10 Diapositive N 15 Pourquoi? Pourquoi? : Représenter l architecture conceptuelle du système Représenter les classes et relations indépendamment d un langage de programmation objet Quoi? : Décrit les classes que le système utilise, leur emboîtage conceptuel (héritage) ou relations organiques (agrégation) ENSTA B9-1 UML Septembre 10 Diapositive N 16

9 Concepts Classe Description formelle d un ensemble d objets ayant une sémantique et des caractéristiques communes Un objet est une instance d une classe Caractéristiques d une classe : Attributs Terminaisons d associations Méthodes Types de classes : Classe active : Par défaut Sauvegarde les données et offre des services aux autres Une classe active initie et contrôle le flux d activités Classe abstraite : Définit au moins une méthode abstraite ou une classe parent contient une méthode abstraite non encore réalisée Elle est vouée à se spécialiser Parent : Classeur Symbole : Classe OU Classe active OU Classe abstraite ENSTA B9-1 UML Septembre 10 Diapositive N 17 Concepts Classe (Implémentation) mentation) A A Java : public class A { Java : public abstract class A { ENSTA B9-1 UML Septembre 10 Diapositive N 18

10 Concepts Classe Stéréotypes : «auxiliary» : classe qui supporte une classe plus fondamentale («focus») «focus» : défini la logique d une classe «auxiliary» «implementation class» : classe d implémentation dans le langage de programmation cible «metaclass» : classe dont les instances sont aussi des classes «type» : spécifie le domaine d une classe ENSTA B9-1 UML Septembre 10 Diapositive N 19 Concepts Classe paramétr trée Pourquoi? : Simplifier la gestion des collections Quoi? : Symbole : Implémentation : Collection inserer (T) supprimer(t) T Seul C++ supporte ce mécanisme (l intégration est prévue pour Java et C#) Class Collection <T> { Exemple : void inserer(t nouvelelement) ; void supprimer(t unelement); Exemple : Tableau éléments : T[n1,n2] n1, n2 «bind» <n1->15, n2->15> Échiquier ENSTA B9-1 UML Septembre 10 Diapositive N 20

11 Concepts Type de données Permet de représenter un type de valeurs Exemple : définition de types de valeurs des langages de programmation (Date, String, HashTable, List, Array, etc.) Parent : Classeur Symbole : Enumération : Permet de définir une liste de valeurs prédéfinies Parent : Type de données Symbole : «datatype» Type de données «enumeration» Enumération + prepaye = 1 + payementclient = 2 + payementpassager = 3 ENSTA B9-1 UML Septembre 10 Diapositive N 21 Concepts Encapsulation Définit des niveaux de visibilité : public ou + : visible de tout élément qui accède à la classe protected ou # : seul un élément de la classe ou d une de ses descendante peut accéder à l élément private ou - : seul un élément de la classe peut accéder à l élément package ou rien : seul un élément du même package peut accéder à l élément Le niveau se situe sur chacune des caractéristiques de la classe : Attributs Terminaisons d association Opération ENSTA B9-1 UML Septembre 10 Diapositive N 22

12 Concepts Attribut Informations qu une classe ou un objet doivent connaître Syntaxe : visibilité nom : type [multiplicité] = valeur_initiale {contraintes Signification : visibilité : public, protected, private, package type : peut être un nom de classeur (classe, interface) ou un type de données prédéfini (Integer, String, Boolean, etc.) multiplicité : nombre de valeurs qu il peut contenir par défaut (exemples : [n], [n..*], etc.) contraintes : {ordered : les valeurs sont ordonnées {list : les valeurs ne sont pas ordonnées {readonly : l attribut ne peut pas être modifié Attribut de classe : Valeur commune à chaque instance de la classe (static en Java ou en C++) Souligné dans la classe Attribut dérivé : Propriétés calculées à partir d autres valeurs Syntaxe : «/nom» Exemple : calcul de l attribut «durée» à partir des attributs «début» et «fin» ENSTA B9-1 UML Septembre 10 Diapositive N 23 Concepts Attribut (exemples) Attribut de classe Course - datedebut : Date = now() - datefin : Date /durée : int {R1 : durée = datefin datedebut - optionbagage : boolean - passager : String [1..3] - kilometrage : int - modepaiement : TypePayement {ReadOnly - rationtempskilométrage : double Valeur initiale Contrainte définie {R1 Cardinalité Uniquement accessible en lecture ENSTA B9-1 UML Septembre 10 Diapositive N 24

13 Concepts Opération / MéthodeM Opération : Spécification (déclaration) d une méthode Fonction qui peut prendre des valeurs en entrée, peut modifier des attributs et produire un résultat Opération abstraite (en italique) : opération qui n a pas dont la manière dont elle est réalisée n est pas définie (méthode) Opération statique (soulignée) : Peut associer des pré et post-conditions Méthode : Implémentation (définition) d une opération Définit comment l opération se comporte, pas seulement ce qu elle fait Stéréotypes : «create», «destroy» Syntaxe de l opération : visibilité nom (paramètres) : type-retour {propriétés Syntaxe des paramètres : direction nom : type [cardinalité] = valeur-défaut cardinalité : none, *, 0..1, 1, 1..* direction : in : le paramètre est envoyé par l appelant in out : le paramètre est envoyé puis retourné à l appelant out : le paramètre est passé à l appelant return : la paramètre est renvoyé à l appelant ENSTA B9-1 UML Septembre 10 Diapositive N 25 Concepts Opérations (exemples) Opération de classe Course + assignerchauffeur(ch : Chauffeur) : boolean + debuter() + terminer() {throws CourseException + calculermontant(tranchehoraire : int) : int + obtenirtranchehoraire() : int Paramètre Contrainte Type de retour ENSTA B9-1 UML Septembre 10 Diapositive N 26

14 Concepts Attribut, Opérations (implémentation) mentation) A + a1 : String a2 : String # a3 : String - a4 : String + op1() + op2() Java : public class A { public String a1; package String a2; protected String a3; private String a4; public void op1(){ public void op2(){ ENSTA B9-1 UML Septembre 10 Diapositive N 27 Exercice Propriétés s d une d classe Exercice 1 : Décrire les attributs et opérations d une Personne ENSTA B9-1 UML Septembre 10 Diapositive N 28

15 Concepts Association Pourquoi? : Représenter les mécanismes de communication entre objets Quoi? : Association réflexive : association qui lie une classe à elle même Parent : Relation Symbole : Signification : x..y Classe 1 Classe 2 rôle 1 {contraintes nom de l association Terminaison d association : référence selon laquelle un objet voit l autre à travers la relation Multiplicité : 1, 0..1, 0..*, n..m Navigabilité : Sens selon lequel il est possible de traverser l association À défaut d indications, une association est navigable Contraintes : {xor, {subsets, {refine, {union, {ordered, {nonunique, {sequence, {readonly (remplaçant de {frozen depuis UML 2.0) rôle 2 x..y {contraintes ENSTA B9-1 UML Septembre 10 Diapositive N 29 Concepts Association (contraintes) Le titulaire d un compte est soit une personne, soit une entreprise La terminaison d association capitale est une sous collection de la terminaison villes Pays 1..* 1..* villes Ville nom langue monnaie 1 {refine 1 nom population surface La terminaison d association capitale raffine la terminaison d association villes capitale Capitale ENSTA B9-1 UML Septembre 10 Diapositive N 30

16 Concepts Association (navigabilité) Personne employés employeur Entreprise Une entreprise connait ses employés Un employé connait son entreprise Commande ligne produit Produit Navigabilité : un produit ne stocke pas les commandes Personne Personne employeur : Entreprise employés employeur Entreprise Entreprise employés : Personne La seconde représentation est une manière de représenter l implémentation de l association en langage objet ENSTA B9-1 UML Septembre 10 Diapositive N 31 Concepts Association (navigabilité) une navigabilité unidirectionnelle engendre une dépendance entre les paquetages une navigabilité bidirectionnelle engendre deux dépendances entre les paquetages ENSTA B9-1 UML Septembre 10 Diapositive N 32

17 Concepts Classe-association association Pourquoi? : Ajouter des attributs à une relation Quoi? : Ajoute une contrainte : il ne peut y avoir qu une seule instance pour un lien entre deux objets Parents : Classe et Association Société * gérant détenteur * Personne Symbole : Action quantités prix d achat prix courant ENSTA B9-1 UML Septembre 10 Diapositive N 33 Concepts Classe association (exemples) Élève * * Enseignant Cours durée Un enseignant ne peut dispenser qu au plus un cours à un même élève Élève 1 * * Cours 1 Enseignant durée Un enseignant peut dispenser plus d un cours à un même élève ENSTA B9-1 UML Septembre 10 Diapositive N 34

18 Concepts Association n-airen Pourquoi? : Quoi? : Symbole : Action * Société 1 1 Personne 1 * * Correspondance : Société Action 1 Personne ENSTA B9-1 UML Septembre 10 Diapositive N 35 Concepts Association qualifiée Pourquoi? : Restreindre la portée de l association à quelques éléments ciblés (qualificatif) de la classe Quoi? : Symbole : Banque Attribut qualificateur compte * 0..2 Personne Nombre d objets trouvés par l attribut qualificateur Si une personne souhaite accéder à sa banque, il faut qu il connaisse le compte correspondant ENSTA B9-1 UML Septembre 10 Diapositive N 36

19 Concepts Association qualifiée e (implémentation) mentation) Banque compte * 0..2 Personne Java (association qualifiée) : public class Banque { public Personne getpersonne(compte uncompte) ; OU public void ajouterpersonne(compte uncompte, Personne une personne) ; Utilisation d une table de hachage (HashMap) ENSTA B9-1 UML Septembre 10 Diapositive N 37 Concepts Agrégation gation & Composition Agrégation : Parent : Association Une classe peut être agrégée dans plusieurs classes La destruction de l objet d agrégation n implique pas la suppression des éléments regroupés Symbole : Composition : Parent : Association Une classe ne peut composer qu une seule classe La destruction de l objet composite implique la destruction de ces composants Symbole : Classe Classe 0..* 0..* * Classe agrégée Classe composée ENSTA B9-1 UML Septembre 10 Diapositive N 38

20 Concepts Association (implémentation) mentation) A 1 1 rb B Java (association uni-directionnelle, 1 vers 1) : public class A { private B rb; public void add( B b ) { if(b!= null) { this.rb = rb ; public class B { //La classe B ne connaît pas l existence de la classe A ENSTA B9-1 UML Septembre 10 Diapositive N 39 Concepts Association (implémentation) mentation) A 1 ra 1 rb B Java (association bi-directionnelle, 1 vers 1): public class A { private B rb; public void add( B b ) { if(b!= null) { if( b.geta()!= null ) { // b déjà connecté b.geta().setb(null) ; //déconnecte this.setb( b ) ; b.seta( this ) ; public B getb() { return(rb) ;) public void setb( B b) { this.rb = rb ; ENSTA B9-1 UML Septembre 10 Diapositive N 40

21 Concepts Association (implémentation) mentation) A 1 ra * rb B Java (association bi-directionnelle, 1 vers *): public class A { private ArrayList <B> rb; public A() { rb = new ArrayList <B>() ; public ArrayList <B> getarray() { return(rb) ; public void remove(b b) { rb.remove(b) ; public void addb( B b ) { if(!rb.contains(b) ) { // b déjà présent if( b.geta()!= null) b.geta().remove(b) ; b.seta(this) ; rb.add(b) ; ENSTA B9-1 UML Septembre 10 Diapositive N 41 Concepts Héritage Pourquoi? : Transmettre les propriétés et le comportement d une classe à une autre Éviter la duplication Encourager la réutilisation Quoi? : Parent : Relation dirigée Décrit une relation entre une classe générale (classe de base ou parent) et une classe spécialisée (sous-classe) Une classe spécialisée : Possède toutes les caractéristiques de la classe parent (attributs, opérations, association) ainsi que des caractéristiques supplémentaires Ne peut pas accéder aux caractéristiques privées de la classe parent Traduit le concept d héritage Symbole : Classe parent Classe spécialisée ENSTA B9-1 UML Septembre 10 Diapositive N 42

22 Concepts Héritage (polymorphisme) Classe parent Opération() Classe spécialisée 1 Opération() Classe spécialisée 1 Opération() Les classes «Classe spécialisée 1» et «Classe spécialisée 2» redéfinissent l opération «Opération()» ENSTA B9-1 UML Septembre 10 Diapositive N 43 Concepts Héritage (implémentation) mentation) A B Java : public class B { public class B extends A { ENSTA B9-1 UML Septembre 10 Diapositive N 44

23 Concepts Dépendance Pourquoi? : Représenter les relations d analyse d impact Quoi? : Parent : Relation dirigée Relation unidirectionnelle exprimant la dépendance sémantique entre éléments du modèle Indique que la modification de la cible peut impliquer une modification de la source Hérite d une relation dirigée Symbole : Client Fournisseur ENSTA B9-1 UML Septembre 10 Diapositive N 45 Concepts Dépendance (stéréotypes) Stéréotypes : Utilisation («use») : la source a besoin de la cible pour être implémentée «call» : la source appelle une opération de la cible «create» : la source crée des instances de la cible «instanciate» : la source est une instance de la cible «send» : relation entre une opération et un signal Abstraction («abstraction») : relation entre différents niveaux de sémantique «refine» : passage du conceptuel à l implémentation «derive» : la source est dérivée de la cible «trace» : traçabilité Substitution («substitute») : la source est substituable à la cible Réalisation («realize») : la source est l implémentation de la cible Réalisation d interface ENSTA B9-1 UML Septembre 10 Diapositive N 46

24 Concepts Interface Pourquoi? : Spécifier les interfaces des sous-systèmes pour permettre leur implémentation ou leur réutilisation dans un framework Quoi? : Ensemble d opérations qui caractérisent le comportement d un classeur Leur comportement peut être spécifié au moyen de machine d états transition de protocole Parent : Classeur Symbole : Alarme Alarme «use» ICapteur «interface» ICapteur Capteur de proximité «realize» Capteur de proximité ENSTA B9-1 UML Septembre 10 Diapositive N 47 Concepts Interface (implémentation) mentation) «interface» Ia «interface» Ia A «use» Java : public interface Ia { Java : public class A implements Ia { ENSTA B9-1 UML Septembre 10 Diapositive N 48

25 Exercice Exercice 2 : Relation entre classes Exercice 3 : Correspondance entre le code Java et le diagramme de classes Exercice 4 : Élaboration d un diagramme de classes complet ENSTA B9-1 UML Septembre 10 Diapositive N 49 Synthèse des concepts manipulés Opération paramètres precondition / corps / postcondition Contrainte Classe Parametre Interface Type source / destination Attribut Généralisation, Dépendance Dépendance : «use», «abstraction», «substitute», «realize» Propriété Terminaison d association Qualifieur Objet principal Lien source / destination Association ENSTA B9-1 UML Septembre 10 Diapositive N 50

26 Synthèse des concepts externes ENSTA B9-1 UML Septembre 10 Diapositive N 51 Session 2 : Vue statique Sommaire Diagramme de paquetages Diagramme de classes Diagrammes d objets Définition de contraintes TD ENSTA B9-1 UML Septembre 10 Diapositive N 52

27 Session 2 : Diagramme d objetsd Pourquoi? Pourquoi? : Éclairer le diagramme de classe en l illustrant par des exemples Vérifier l adéquation d un diagramme de classe à différents cas possibles Prendre une image d un système à un instant donné Quoi? : Présente des objets (instances de classes) et leurs liens (instances de relations) ENSTA B9-1 UML Septembre 10 Diapositive N 53 Session 2 : Diagramme d objets d Concepts Objet : Instance de classe Symbole : Objet : Classe Lien : Instance d une association Symbole : rôle 1 nom du lien rôle 2 Objet 1 : Classe 1 Objet 2 : Classe 2 ENSTA B9-1 UML Septembre 10 Diapositive N 54

28 Session 2 : Diagramme d objets d Exemples ENSTA B9-1 UML Septembre 10 Diapositive N 55 Session 2 : Diagramme d objets d Exercices Exercice 5 : Instanciation d un diagramme de classe Exercice 6 : Traduction d une classe-association en association binaire Exercice 7 : Conceptualisation d expressions arithmétiques ENSTA B9-1 UML Septembre 10 Diapositive N 56

29 Session 2 : Diagramme d objetsd Synthèse des concepts manipulés ENSTA B9-1 UML Septembre 10 Diapositive N 57 Session 2 : Vue statique Sommaire Diagramme de paquetages Diagramme de classes Diagrammes d objets Définition de contraintes TD ENSTA B9-1 UML Septembre 10 Diapositive N 58

30 Session 2 : Définition D de contraintes Pourquoi? : Spécifier : Des invariants sur les classes Des pré conditions et post conditions à l exécution d opérations Des gardes sur les transitions de diagrammes d états-transitions, des messages de diagrammes d interactions, ou des flots de contrôle de diagramme d activité Quoi? : Langage formel d expression de propriétés Exemples : Fonction de débit de compte : Comment spécifier que la somme d un compte doit être supérieur à 0 avant le débit? ENSTA B9-1 UML Septembre 10 Diapositive N 59 Session 2 : Définition D de contraintes Concepts Contexte : Élément auquel est associée la contrainte self : appel du contexte Syntaxe : context %élément% Invariant : Expression à vérifier en permanence Syntaxe : inv %expression% Dérivation d attribut : Syntaxe : derive : %valeur% Pré et post conditions : result : valeur retournée par l opération %attribut%@pre : valeur avant l appel d opération Syntaxe : pre %expression% & post %condition% Définition de variable : Syntaxe : let %variable% = %valeur% in %expression% Syntaxe : def %variable% = %valeur% ENSTA B9-1 UML Septembre 10 Diapositive N 60

31 Session 2 : Définition D de contraintes Concepts Structure de contrôle : Syntaxe : if %expression 1% then %expression 2% else %expession 3% endif Autres opérateurs : and : et or : ou xor : ou exclusif not : inverse implies : implique ENSTA B9-1 UML Septembre 10 Diapositive N 61 Session 2 : Définition D de contraintes Exemple context Compte::débiter(somme : Real) pre : self.somme > 0 context Compte::getSolde() : Real post : result = self.solde context Personne inv : let argent = compte.solde in (age>=18 implies argent>0) context Personne def : argent = compte.solde inv : age>=18 implies argent>0 context Personne::annéeNaissance derive : argent = date - age ENSTA B9-1 UML Septembre 10 Diapositive N 62

32 Session 2 : Définition D de contraintes Concepts Opérations sur chaque objet : «oclistypeof(t : OclType) : Boolean» : renvoie vrai si le type est celui spécifié «ocliskindof(t : OclType) : Boolean» :renvoie vrai si le type est celui spécifié ou un de ses parents «oclisinstate(s : OclState) : Boolean» :renvoie vrai si le la classe est dans l état spécifié Accès aux objets : «.» : accéder à une propriété «::» : accéder à un élément de l élément englobant «->» : accéder aux caractéristiques d une collection ENSTA B9-1 UML Septembre 10 Diapositive N 63 Session 2 : Définition D de contraintes Concepts Opérations sur les collections : «size(): Integer» : nombre d éléments «includes(objet: T) : Boolean» : vrai si elle inclus l objet «excludes(objet: T) : Boolean» : vrai si elle ne contient pas l objet «count(objet: T): Integer» : nombre d occurrences de l objet «includesall(c:collection(t)) : Boolean» : vrai si elle contient tous les éléments «excludesall(c:collection(t)) : Boolean» : vrai si elle ne contient aucun élément «isempty() : Boolean» : vrai si elle est vide «notempty() : Boolean» : vrai si elle n est pas vide ENSTA B9-1 UML Septembre 10 Diapositive N 64

33 Session 2 : Définition D de contraintes Exemple context Société inv : self.employé->notempty() context Société inv : self.directeur->size()=1 context Société inv : self.employés->includes(self.directeur) context Personne def : argent = compte.solde inv : age>=18 implies argent>0 ENSTA B9-1 UML Septembre 10 Diapositive N 65 Session 2 : Définition D de contraintes Concepts Opérations sur les collections : «select(%variable% : %type% %expression%)» : génère une collection en filtrant les éléments qui satisfont à l expression «reject(%variable% : %type% %expression%)» : génère une collection en filtrant les éléments qui ne satisfont pas à l expression «forall(%variable% : %type% %expression%)» : expression vraie pour tout élément «exists(%variable% : %type% %expression%)» : il existe un élément pour lequel l expression est vraie ENSTA B9-1 UML Septembre 10 Diapositive N 66

34 Session 2 : Définition D de contraintes Exemple context Société inv : self.employé->select(individu individu.age>50)->notempty() context Société inv : self.employé->exists(age>50) context Personne inv : Personne.allInstances()->forAll(p1, p2 p1 <> p2 implies p1.nom <> p2.nom) ENSTA B9-1 UML Septembre 10 Diapositive N 67 Session 2 : Définition D de contraintes Exercice Exercice 8 : Traduction de contraintes OCL en langage naturel Exercice 9 : Rédaction de contraintes en OCL ENSTA B9-1 UML Septembre 10 Diapositive N 68

35 Session 2 : Vue statique Sommaire Diagramme de paquetages Diagramme de classes Diagrammes d objets Définition de contraintes TD ENSTA B9-1 UML Septembre 10 Diapositive N 69