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éci ?cation formelles des logiciels Hiver Alexandre Terrasa Département d ? informatique UQÀM COCL Collections CRappels Types OCL Boolean true false Integer - Real - String ? Hello World ? OCLVoid null invalid Et les

INF Modélisation et spéci ?cation formelles des logiciels Hiver Alexandre Terrasa Département d ? informatique UQÀM COCL Collections CRappels Types OCL Boolean true false Integer - Real - String ? Hello World ? OCLVoid null invalid Et les collections que nous allons voir maintenant CCollections OCL dé ?nit types de collections Set OrderedSet Bag Séquence Toutes ces classes sont des sous-types du types abstrait Collection CHiérarchie des collections OCL Collection Set OrderedSet Bag Sequence CSet Collection non-ordonnée d ? éléments uniques Set Set ? pomme ? ? banane ? ? fraise ? Égalité sur les sets Set Set Set Set Set Set COrderedSet Collection ordonnée d ? éléments uniques OrderedSet Égalité sur les sets ordonnés OrderedSet OrderedSet OrderedSet OrderedSet CBag Collection non ordonnée d ? éléments non uniques Bag Égalité sur les sacs Bag Bag Bag Bag CSequence Collection ordonnée d ? éléments non uniques Sequence Égalité sur les séquences Sequence Sequence Sequence Sequence Sequence Sequence CTypes 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 COpé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 COpé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 COpérations pour séquences et sets ordonnés append objet T Sequence T at index Number T ?rst T indexOf object T Number insertAt index Number object T Sequence T last T prepend objet T Sequence T COCL Naviguer via les relations CNaviguer 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 CRelations et cardinalités Professeur employés université Université Une seule université associée à un professeur association entre deux objets context Professeur inv self université null CRelations et cardinalités Professeur employés université Université Plusieurs professeurs dans une université association entre un objet université et une collection d ? objets employés context Université inv self employés- notEmpty CType des relations Dépend du type impliqué dans la multiplicité Professeur employés université Université context Université inv self employés Contient des professeurs Collection Professeur CType des relations Dépend du type impliqué dans la multiplicité Professeur employés université Université Quel type de Collection Professeur par défaut Set Professeur CType des relations Dépend du type impliqué dans la multiplicité Professeur ordered employés université Université Quel type de Collection Professeur Si ordered OrderedSet Professeur CNaviguer via une classe d ? association Résultat session String note Real Étudiant nom String codePerm String Cours cours sigle String titre String CNaviguer via une classe d