EM-OCL : une extension mathématique d'OCL

Annexe B

Annexe de la bibliothèque EM

B.1 Pair

On suppose que la classe Pair est paramétrée par les deux types G et H.

Signature de l'opération	Description
Pair[]	constructeur par défaut de la classe Pair
make(f : G, s : H) : Pair(G, H)	permet de créer une paire ordonnée
first() : G	extraire le premier élément d'une paire ordonnée
second() : H	extraire le second élément d'une paire ordonnée
reverse() : Pair(H, G)	inverser une paire ordonnée d'élément
= (p : Pair(G, H) : Boolean	Rend True si les deux éléments de self et p coincident

B.2 SetRef

On suppose que la classe SetRef est paramétrée par le type G.

Signature de l'opération	Description
identity() : BinaryRelation(Pair(G, G))	identité d'un ensemble
firstProj(ens : Set(H)) : BinaryRelation(Pair(Pair(G, H), G))	calculer la première projection d'un ensemble
secondProj(ens : Set(H) : BinaryRelation(Pair(Pair(G, H), H)	calculer la seconde projection d'un ensemble

B.3 SequenceRef

On suppose que la classe SequenceRef est paramétrée par le type G.

Signature de l'opération	Description
insertRight(o : C) : SequenceRef(C)	insérer un élémnt o à la fin de la séquence
reverse() : SequenceRef(C)	permet d'inverser une séquence
tail() : SequenceRef(C)	écarter le premier élément de la séquence
front() : SequenceRef(C)	écarter le dernier élément de la séquence

B.4 BinaryRelation

Signature de l'opération	Description
domaine() : SetRef(C)	retourne le domaine d'une relation binaire
range() : SetRef(H)	retourne le codomaine d'une relation binaire
imageSet(F : SetRef(C)) : SetRef(H)	retourne l'image de l'ensemble F par une relation binaire
imageElt(e : C) : SetRef(H)	retourne l'image de l'élément e par une relation binaire
inverse() : BinaryRelation(Pair(H, C))	retourne l'inverse d'une relation binaire
seqComposition(r : BinaryRelation(Pair(H, K))) : BinaryRelation(Pair(C, K))	calculer la composition séquentielle de deux relations
directProduct(r : BinaryRelation(Pair(C, K))) : BinaryRelation(Pair(C, Pair(C, H)))	calculer le produit direct de deux relations binaires
ParallelProduct(r : BinaryRelation(Pair(K, L))) : BinaryRelation(Pair(Pair(C, K), Pair(H, L)))	calculer le produit parallèle de deux relations binaires
iteration(n : Integer) : BinaryRelation(Pair(C, H))	itérer une relation binaire n fois
closeTrans() : BinaryRelation(Pair(C, H))	calculer la fermeture reflexive transitive d'une relation
restrictionDomaine(E : Set(C)) : BinaryRelation(Pair(C, H))	restreindre une relation sur un sous-ensemble E du domaine
soustractionDomaine(E : Set(C)) : BinaryRelation(Pair(C, H))	soustraire une relation sur un sous-ensemble E du codomaine
restrictionRange(F : SetRef(H)) : BinaryRelation(Pair(C, H))	restreindre une relation sur un sous-ensemble F du codomaine
soustractionRange(F : SetRef(H)) : BinaryRelation(Pair(C, H)))	soustraire une relation sur un sous-ensemble F du codomaine