Dankwoord - martes

1.2. PROBLEEM BESCHRIJVING 3
1.2 Probleem beschrijving
Net zoals broncode, moeten MDD modellen juist en precies zijn om tot een correcte broncode te
kunnen komen. Er bestaan verschillende modelleertalen die in een MDD ontwikkelingsproces
gebruikt kunnen worden. Voorbeelden daarvan zijn UML, GME, MetaEdit [15,17,18]. Hoe
juist en precies men in elk van die talen kan modelleren hangt af van taal tot taal. In deze
thesis gaan we enkel naar UML kijken. UML heeft veel zwakke punten maar blijft toch een
van de meest populaire modelleertalen. Een van de zwakheden van UML modellen (vanaf
hier gaan we de term modellen gebruiken in de context van UML) wordt veroorzaakt door de
semantische onvolledigheid van de modellen.
Modellen kunnen niet alle vaststellingen van een specicatie beschrijven. Bijvoorbeeld het
model in figuur 1.2, duidt de associatie tussen de klasse Person en de klasse Flight aan
dat er met een vlucht nul of meer passagiers geassocieerd kunnen zijn : multipliciteit (0..*).
Dit impliceert dat het aantal passagiers oneindig kan zijn. In werkelijkheid zal dit aantal
eerder beperkt zijn tot het aantal zetels in het vliegtuig dat aan de vlucht geassocieerd is.
Dit voorbeeld toont aan dat deze beperking onbeschrijfbaar is in het UML klasse-diagram.
Bijgevolg zullen modellen die in UML uitgedrukt zijn meestal incompleet, informeel en zelfs
niet precies zijn.
Figuur 1.2: Gesimpliceerd UML model van een Luchthaven systeem
1.2.1 Wat is OCL
De Object Constraint Language (OCL) is een notatie taal voor analyse en design van software
systemen. Deze taal laat ons toe om expressies en beperkingen op een object-georiënteerde
model te schrijven. OCL is ook een deelverzameling van de Unied Modeling Language (UML).
Deze constraints zijn nuttig in het software ontwikkelingsproces. Deze laten de ontwikkelaar
toe om een specieke verzameling van regels die de aspecten van de individuele objecten
bestuurt te creëren.
OCL is ook een constructie waarbij UML het concept van Design By Contract (DBC) [25]
kan ondersteunen. Er zijn twee basis soorten van constraints: klasse-invarianten en pre- en