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 collections INF Modélisation et spécification formelles des logiciels Hiver Alexandre Terrasa Département d ? informatique UQÀM OCL Collections Rappels Types OCL Boolean true false Integer - Real - String ? Hello World ? OCLVoid null invalid Et les co

INF Modélisation et spécification formelles des logiciels Hiver Alexandre Terrasa Département d ? informatique UQÀM OCL Collections Rappels Types OCL Boolean true false Integer - Real - String ? Hello World ? OCLVoid null invalid Et les collections que nous allons voir maintenant Collections OCL définit types de collections Set OrderedSet Bag Séquence Toutes ces classes sont des sous-types du types abstrait Collection Hiérarchie des collections OCL Collection Set OrderedSet Bag Sequence Set Collection non-ordonnée d ? éléments uniques Set Set ? pomme ? ? banane ? ? fraise ? Égalité sur les sets Set Set Set Set Set Set OrderedSet Collection ordonnée d ? éléments uniques OrderedSet Égalité sur les sets ordonnés OrderedSet OrderedSet OrderedSet OrderedSet Bag Collection non ordonnée d ? éléments non uniques Bag Égalité sur les sacs Bag Bag Bag Bag Sequence Collection ordonnée d ? éléments non uniques Sequence Égalité sur les séquences Sequence Sequence Sequence Sequence Sequence Sequence Types et collections Les collections OCL sont typées Collection T Avec les types OCL Set Integer Bag String Sequence Boolean Avec les types du diagramme Set Etudiant Bag Cours Sequence Resultat Opérations sur les collections size Number includes objet T Boolean excludes objet T Boolean count objet T Integer includesAll c Collection T Boolean excludeAll c Collection T Boolean isEmpty Boolean notEmpty Boolean sum T Opérations sur les sets et bags union set Set T Set T union bag Bag T Bag T intersection set Set T Set T intersection bag Bag T Bag T including objet T Set T excluding objet T Set T - set Set T Set T Opérations pour séquences et sets ordonnés append objet T Sequence T at index Number T first T indexOf object T Number insertAt index Number object T Sequence T last T prepend objet T Sequence T OCL Naviguer via les relations Naviguer via les associations Naviguer vers un objet ou un groupe d ? objets depuis un contexte en suivant les associations Dépend de la cardinalité de l ? association association avec un objet association avec une collection d ? objets Relations et cardinalités Une seule université associée à un professeur association entre deux objets context Professeur inv self université null Université employés Professeur université Relations et cardinalités Plusieurs professeurs dans une université association entre un objet université et une collection d ? objets employés context Université inv self employés- notEmpty Université employés Professeur université Type des relations Dépend du type impliqué dans la multiplicité context Université inv self employés Université employés Professeur université Contient des professeurs Collection Professeur Type des relations Dépend du type impliqué dans la multiplicité Quel type de Collection Professeur par défaut Set Professeur Université employés Professeur université Type des relations Dépend du type impliqué dans la multiplicité Quel type de Collection Professeur Si ordered Ordered Set Professeur Université employés Professeur université ordered Naviguer via une classe d ? association Étudiant nom String codePerm String Cours sigle String titre String cours Résultat session String note Real Naviguer via une classe d ?