Dankwoord - martes

Recommendations

Info

6 HOOFDSTUK 1. INLEIDING In het vierde hoofdstuk beschrijven we de realisatie van OCL transformaties in het HAT tool. Ten eerste zullen we een pure vertaling van OCL expressies naar JAVA bespreken. Ten tweede zullen we de naïeve en de intelligente aanpakken bespreken. In het vijfde hoofdstuk werken we een case studie uit. De voorgestelde aanpakken in het derde hoofdstuk worden naast elkaar gelegd. Alle voordelen en nadelen zullen we grondig bespreken. Het laatste hoofdstuk is een afsluitend hoofdstuk waarin we de huidige situering en de toekomst van MDD/MDA kritisch bespreken.
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
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: 1.4. DOELSTELLINGEN 5 • Ten vierd
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 and 66:
Hoofdstuk 6 Besluit MDD zou moeten
Page 67 and 68:
6.4. TOEKOMSTIG WERK: UITBREIDINGEN
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?