Dankwoord - martes

Recommendations

Info

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
6.4. TOEKOMSTIG WERK: UITBREIDINGEN EN AANPASSINGEN 61 te beschouwen. Aspecten kunnen modularizatie van klasse-invarianten en pre- en postcondities aanbieden. Op deze manier kunnen deze klasse-invarianten en pre- en postcondities uit de code afgezonderd worden. Andere voordelen van aspect-georiënteerde programmeertechnieken moeten nog uitgebreider en dieper bestudeerd worden.
Page 1 and 2:
Dankwoord Ik wil alle mensen bedank
Page 3 and 4:
INHOUDSOPGAVE iii 3 Methodologie 17
Page 5 and 6:
L¼st van guren 1.1 Relatie tussen
Page 7 and 8:
Hoofdstuk 1 Inleiding 1.1 Situering
Page 9 and 10:
1.2. PROBLEEM BESCHRIJVING 3 1.2 Pr
Page 11 and 12:
1.4. DOELSTELLINGEN 5 • Ten vierd
Page 13 and 14:
Hoofdstuk 2 State-of-the-art De Obj
Page 15 and 16: 2.1. EVALUATIECRITERIA 9 2.1.6 Asse
Page 17 and 18: 2.2. TOOLS 11 alleen maar invariant
Page 19 and 20: 2.2. TOOLS 13 compleet systeem als
Page 21 and 22: 2.2. TOOLS 15 Indien het sleutelwoo
Page 23 and 24: Hoofdstuk 3 Methodologie In dit hoo
Page 25 and 26: 3.1. DESIGN BY CONTRACT 19 Het prin
Page 27 and 28: 3.2. BESCHRIJVING VAN DE METHODOLOG
Page 43 and 44: 3.3. NAÏEVE AANPAK 37 Listing 26 S
Page 45 and 46: 3.3. NAÏEVE AANPAK 39 Listing 30 v
Page 47 and 48: 3.4. INTELLIGENTE AANPAK 41 Figuur
Page 49 and 50: 3.5. EVALUATIE 43 3.4.4.1 Inkapseli
Page 51 and 52: 3.5. EVALUATIE 45 Figuur 3.2: Klass
Page 53 and 54: 4.1. HAT 47 Figuur 4.1: Architectuu
Page 55 and 56: 4.2. RUN-TIME OCL NAAR JAVA 49 Figu
Page 57 and 58: 4.3. NAÏEVE AANPAK IN HAT 51 van d
Page 59 and 60: 4.5. EVALUATIE 53 Id Criteria Opmer
Page 61 and 62: 5.2. VERTALING MET BEHULP VAN HAT 5
Page 63 and 64: 5.2. VERTALING MET BEHULP VAN HAT 5
Page 65: Hoofdstuk 6 Besluit MDD zou moeten
Page 69 and 70: Bibliograe [1] A.Kleppe, J.Warmer,
show all

Dankwoord - martes

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?