Dankwoord - martes

Hoofdstuk 2
State-of-the-art
De Object Constraint Language (OCL) [1] is een notatietaal voor analyse en ontwerp van
software systemen. Het is een aanvulling op de industrie standaard UML waarbij ontwikkelaars
beperkingen over modellen kunnen schrijven. Vandaag de dag vereisen veel software projecten
complexe formele regels die in het businessmodel moeten worden uitgedrukt. OCL lost dit
probleem op. OCL is eenvoudig genoeg om door business analisten gebruikt te worden maar
ook formeel genoeg om door tools geïnterpreteerd en gemanipuleerd te worden.
In dit hoofdstuk geven we een overzicht van de huidige stand van tools die OCL expressies
naar JAVA vertalen. Hier gaan we eerst een aantal evaluatiecriteria voorstellen. Dan zullen
we een aantal tools evalueren aan de hand van de voorgestelde criteria. Vervolgens zullen we
deze tools naast mekaar zetten.
2.1 Evaluatiecriteria
In deze sectie gaan we een structuur voorstellen om tools te kunnen evalueren. Deze structuur
is niet alleen gebaseerd op constructies die in de OCL taal aanwezig zijn maar ook op andere
factoren: bijvoorbeeld de code die gegenereerd wordt na de vertaling van de OCL expressies
naar een doel taal. In deze thesis wordt JAVA gebruikt als doeltaal voor de vertaling.
In deze thesis onderzoeken we alleen maar een deel van de eigenschappen van OCL. We
gaan voornamelijk in op klasse-invarianten, pre- en postcondities. Ook onderzoeken we de
ondersteuning van meer ingewikkelde sleutelwoorden zoals @pre en result. Ten laatste breiden
we onze criteria uit met manieren om de voldoening van constraints na te gaan. Daarom zijn
onze criteria ook beperkt tot deze deelverzameling.
In de context van OCL kunnen we meer informatie aan een model toevoegen aan de hand van
invarianten. Deze invarianten kunnen op verschillende model elementen inwerken.
2.1.1 Invarianten
In specicaties is zo dat we vaak met invarianten te maken hebben. Klasse-invarianten garanderen
ons dat objecten altijd een geldige toestand hebben. We zullen klasse-invarianten
in meer detail in subsectie 3.1.1 bespreken. Daarom is de ondersteuning van invarianten door
tools een basisvereiste.
7