Database Reference
In-Depth Information
Les autres contraintes prédéinies de UML sont les suivantes :
●
{redeined
nom_rôle
}
redéinit un rôle ;
●
{union}
signiie que le rôle rassemble une union de sous-ensembles ;
●
{ordered}
exprime un ordre au niveau des objets reliés ;
●
{bag}
exprime qu'un même objet cible peut apparaître plusieurs fois dans l'association ;
{
sequence}
notée aussi
{seq}
combine les caractéristiques de
bag
et de
ordered
.
En.l'absence.de.ces.contraintes.(cas.le.plus.général.et.celui.par.défaut),.la.terminaison.d'une.
association.est.dite.de. type.
set
. (chaque.objet. relié.n'est.présent.au.plus.qu'une.seule. fois.
dans.l'association).
Pour formaliser toute autre contrainte, vous pouvez utiliser le langage OCL.
Contraintes personnalisées (langage OCL)
OCL (
Object Constraint Language
) est un langage formel, basé sur la logique des prédicats du
premier ordre, pour annoter les diagrammes UML en permettant notamment l'expression de
contraintes. À l'origine, OCL a été développé en 1997 par Jos Warmer (IBM), sur les bases du
langage IBEL (
Integrated Business Engineering Language
). OCL existe depuis la version 1.1
d'UML et fait partie intégrante de la norme UML depuis la version 1.3.
Dans le cadre d'UML 2.0, les spéciications du langage OCL igurent dans un document indé-
pendant de la norme d'UML, décrivant en détail la syntaxe formelle et la façon d'utiliser
ce langage : http://www.omg.org/spec/OCL/2.0/PDF. Un ouvrage plus complet a été publié
[WAR 03].
OCL permet de spéciier des contraintes sur l'état d'un objet ou d'un ensemble d'objets princi-
palement à l'aide d'invariants sur des classes et des préconditions/postconditions à l'exécution
d'opérations. Une expression OCL décrit une contrainte à respecter et ne décrit pas l'implé-
mentation d'une méthode.
L'exemple suivant décrit la contrainte OCL qui exprime, par l'intermédiaire de rôles, que tout
employé est soit :
chef, et dans ce cas il n'a pas de chef (condition
isEmpty
vériiée) ;
●
sous la responsabilité d'un chef qui doit être employé dans la même entreprise que lui
(deuxième partie de la condition).
●
