Rapport de fin de phase I - Haute école du paysage, d'ingénierie et ...

context Company inv :
self.manager->size() = 1 -- 1 manager
Cette caractéristique peut être intéressante si une extrémité d’association à 0..1
comme multiplicité.
context Person inv :
self.wife->notEmpty()
implies self.wife.sex = Sex::female
Par défaut, la navigation retourne une collection de type Set. Si l’extrémité
d’association est enrichie par la contrainte {ordered], la collection retournée est de
type Sequence.
OCL définit trois types de collection : Set, Sequence, Bag. Ces collections disposent
toutes d’opérations prédéfinies.
Une propriété de collection peut-être accédée au moyen de l’opérateur -> suivi du
nom de la propriété.
context Person inv :
self.employer->size() < 3
context Person inv :
self.employer->isEmpty()
Lorsque le nom d’un rôle n’est pas explicitement spécifié, il faut utiliser le nom du
type à l’extrémité de l’association mais en le commençant par une minuscule. Si
cette procédure engendre une ambiguïté dans les noms des propriétés, le nom du
rôle est obligatoirement requis (c’est le cas notamment des associations réflexives).
self.person -- Navigation vers la classe Person
Pour exprimer une navigation vers une classe associative, il faut utiliser l’opérateur .
suivi du nom de l’association en le commençant par une minuscule.
self.job -- Navigation vers la classe associative Job
Si l’association est réflexive, if faut encore donner le nom du rôle pour pouvoir
naviguer vers la classe associative.
-- Navigation vers la classe associative EmployeeRanking
-- en utilisant le rôle bosses
self.employeeRanking[bosses]->sum() = 0
La navigation depuis une classe associative vers une des classes de l’association est
considéré comme une navigation normale. Cependant, en raison de la définition de
la classe associative dans UML, la navigation depuis une classe associative ne
22.06.2005 20/78