Dankwoord - martes

60 HOOFDSTUK 6. BESLUIT
De oorspronkelijke mogelijkheden van HAT lieten ons niet toe om de intelligente aanpak te
implementeren. Dat was eigenlijk het moment van de geboorte van de intelligente aanpak
gebaseerd op string matching. Deze methode zoekt voor elke postconditie horend bij een
publieke operatie welke object of variabele tijdens de uitvoering van deze operatie zou moeten
aangepast worden. Vervolgens gaan we de gevonden object of variabele met een of meerdere
klasse-invarianten proberen te matchen. Met deze oplossing hebben we het probleem van de
intelligente aanpak niet kunnen implementeren omgezeild.
Tijdens de implementatie in HAT hebben we samen met E2S naar verschillende oplossingen
gezocht om wat verjningen aan het tool aan te brengen.
6.3 Kritische noot
Een nadeel van het HAT tool is dat er geen ondersteuning is voor sleutelwoorden zoals @pre
en result. Blijkbaar is de complexiteit verhoogd om deze sleutelwoorden te implementeren
dan de voordelen die dat zou opbrengen.
Naast de methodologie die we voor het bereiken van de doelstellingen ontwikkeld hebben,
hebben we ook een evaluatie van bestaande tools gemaakt die run-time OCL ondersteunen.
Voor onze grote verassing wat wij uit de gegenereerde code gemerkt hebben is dat er geen enkel
van de geëvalueerde tools een meer intelligente, slimme implementatie had voor het nagaan
van voldoening van constraints. Alle tools volgen min of meer een aanpak die op onze naïeve
aanpak lijkt. Dat plaats HAT tool een stap voor zijn concurrenten alhoewel nog wat werk
moet gedaan worden om een een deftige implementatie van de intelligente aanpak in HAT te
hebben.
6.4 Toekomstig werk: uitbreidingen en aanpassingen
We hebben aangegeven hoe run-time OCL expressies naar werkende code in HAT getransformeerd
kunnen zijn. We sommen enkele uitbreidingen op die nuttig zijn om het systeem
bruikbaarder te maken.
Het zou interessant zijn om een ondersteuning voor sleutelwoorden zoals @pre en result te
voorzien. Dat zou het tool bruikbaarder maken wat betreft transformaties van run-time OCL
expressies.
Op basis van de methodologie die we in deze thesis ontwikkeld hebben, zouden we generatoren
ook in andere talen moeiteloos kunnen implementeren.
Een volledige beschrijving van OCL taal kan ook beschouwd worden. De methodologie die we
voorgesteld hebben, is niet volledig in de zin dat we maar een deelverzameling van de OCL
taal genomen hebben. We hebben vooral op een aantal aspecten gefocust: klasse-invarianten,
pre- en postcondities. Aeiding regels, initiële waarden, body-of-query operaties hebben we
niet bestudeerd.
Alhoewel onze aandacht in deze thesis op de JAVA programmeertaal gericht was, zou er interessant
zijn om een alternatieve implementatie wat betreft aspect-georiënteerde uitbreidingen