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

Il est cependant possible de définir un attribut ou une opération visible par toutes les
contraintes d’un contexte. Pour cela, il faut définir une contrainte stéréotypée
« definition ». Une telle contrainte ne peut contenir que des définitions d’attributs et
d’opérations.
context Person def :
let income : Integer = job.salary -> sum()
let hasTitle(aTitle: String) : Boolean =
job->exists(title = aTitle)
context Person inv :
if isUnemployed then
income < 100
else
income >= 100 and hasTitle(‘manager’)
endif
Le nom d’un attribut ou d’une opération défini par let ne doit pas entrer en conflit
avec le nom d’un attribut, d’une extrémité d’association ou d’une opération du
classificateur du contexte de la contrainte.
Conformité des types de base
Type Opérations
Integer Real
Transtypage
La fonction oclAsType(Type) permet de faire un down cast (transtypage vers un
sous-type).
unClient.oclAsType(PersonneMorale)
Règles de précédence
1) @pre
2) . ->
3) not -(unaire)
4) * /
5) + -(binaire)
6) if-then-else-endif
7) < > =
8) =
9) and or xor
10) implies
22.06.2005 16/78