Dankwoord - martes

5.2. VERTALING MET BEHULP VAN HAT 57
In zulke gevallen zijn er geen mogelijkheden om aanpassingen uit te voeren. Bijgevolg
hebben we OCL expressies van deze soort genegeerd. We geven een voorbeeld van zo'n
OCL expressie in de context LoayaltyProgram zie figuur 5.1
context LoayaltyProgram
inv:
partners.deliveredServices -> forall(x|x.condition = true)
• Indien we twee klassen hebben die met elkaar verbonden worden met een associatieklasse,
dan kunnen we niet navigeren via deze associatieklasse. In OCL navigeert men in
dergelijke situaties door de naam van de associatieklasse te concateneren aan de naam
van het gewenste associatieeinde en deze met een punt uit elkaar te scheiden. De naam
van de associatieklasse moet met een hoofdletter beginnen. In HAT worden deze OCL
expressies niet gevalideerd. Dat was ook een van de redenen waarom we onze associatieklasse
Membership naar een gewone klasse getransformeerd hebben. Voorbeeld van
zulke expressies is de volgende OCL expressie (zie figuur 5.1)
context Customer
inv:
Membership.account -> select(x|x.points>0)->isEmpty()
• Indien we constraints in de context van een associatieklasse willen denieren dan moeten
we deze in HAT denieren bij een van de betrokkene klassen bij deze associatieklasse.
Met andere woorden wordt de context van deze constraint niet de associatieklasse maar
een van de betrokken klassen. Daarvoor hebben we uit de associatieklasse een gewone
klasse gemaakt.
• Veel van de postcondities bevatten sleutelwoorden zoals @pre en result. Voor OCL expressies
die het sleutelwoord result bevatten kunnen we niets doen. Deze expressies zijn
niet gevalideerd. De sleutelwoorden @pre hebben we gewoon niet toegevoegd. Bijgevolg
is ook de betekenis van een OCL expressie veranderd maar deze expressies zijn wel gevalideerd
in HAT en gegenereerd. Indien we zulke OCL expressie negeren dan kunnen we
onze intelligente aanpak niet testen. Daarom hebben we zulke expressies behouden maar
we hebben deze licht aangepast aangepast . Bijvoorbeeld de volgende OCL expressie:
context LoayaltyProgram::enroll(c:Customer)
post:
wordt
participants = participants@pre->including(c)
context LoayaltyProgram::enroll(c:Customer)
post:
participants = participants->including(c)
De aanpakken die we in hoofdstuk 3 ontwikkeld hebben werkten zoals ze beschreven waren.
We konden een groot deel van de code direct van ons model genereren. Indien we nu onze
gegenereerde code met de handgeschreven code gaan vergelijken dan zou er toch een groot
verschil zijn. Een groot deel was hierboven beschreven.
We hebben een inspanning gedaan om het tool te laten evalueren op een gevalstudie. Indien
we sommige aanpassingen niet gedaan hebben op ons model zouden de resultaten niet bevredigend
worden. Maar de tekorten wat betreft associatieklassen kunnen altijd opgelost worden.