Dankwoord - martes

1.4. DOELSTELLINGEN 5
• Ten vierde is het mogelijk om het principe van Design By Contract in een programmeertaal
te simuleren.
Indien we deze aanpak in software ontwikkeling volgen, zal de productiviteit zeker verhogen.
Een implementatie van een systeem door MDD/MDA tools is sneller en eciënter dan een
handgeschreven implementatie. Verder is de kwaliteit van ons systeem verhoogd. Er is garantie
voor een consistentie tussen ons UML/OCL- model en de gegenereerde artefacten.
1.4 Doelstellingen
In het kader van dit eindwerk zullen we een bepaald aspect van de modeltransformaties proberen
te bestuderen - namelijk de transformaties van OCL expressies naar werkende code. Tot
nu toe zijn OCL expressies vooral gebruikt als validatie van modellen en documentatie. Dus
spreken we hier over statische OCL. In deze thesis willen we verder gaan door beperkingen te
leggen op instantiaties van UML modellen. Dit soort van OCL expressies noemt men run-time
OCL. Er zijn twee basissoorten van OCL expressies of constraints: klasse-invarianten en preen
postcondities. Wat we in deze thesis willen realiseren is precies deze twee basissoorten van
OCL expressies te transformeren door een specieke codegeneratie. We gebruiken JAVA als
doeltaal voor deze codegeneratie.
Deze specieke transformatie (codegeneratie) zal gebeuren op basis van twee aanpakken. Een
eerste aanpak is de naïeve aanpak waarbij beide basissoorten van constraints gecontroleerd
worden op iedere stabiel moment van een systeem. Maar hier stoppen we niet. Een tweede
meer geavanceerde aanpak zal bestudeerd worden. Hierbij worden alleen de relevante OCLexpressies
gecontroleerd waarbij de overhead drastisch kan dalen en de eciëntie van ons
systeem verhoogt.
Deze transformaties zullen we uitwerken met het HAT-tool van het software engineeringsbedrijf
E2S uit Gent [10].
Hiernaast zullen we ook een aantal bestaande tools evalueren die run-time OCL ondersteunen.
1.5 Overzicht
In dit hoofdstuk werd het ontwerp van dit eindwerk in een ruimer kader geplaatst. De doelstellingen
werden kort aangehaald.
In het tweede hoofdstuk gaan we de state-of-the-art van OCL toolondersteuning bespreken.
Hier stellen we eerst een aantal evaluatiecriteria voor. Op basis van de opgestelde criteria
evalueren we een aantal tools. Ten slotte trekken we een conclusie over de huidige toolondersteuning
van run-time OCL expressies.
In het derde hoofdstuk stellen we verschillende aanpakken van transformaties van constraints
naar code voor. Deze constraints zijn OCL expressies op UML modellen. Eerst zullen we een
beschrijving van een mogelijke OCL naar JAVA vertaling voorstellen. Daarna zullen we deze
transformaties zowel op een naïeve als op een meer intelligente manier beschrijven.