Dankwoord - martes

Recommendations

Info

iv INHOUDSOPGAVE 3.4.4 Vertaling van klasse-invarianten . . . . . . . . . . . . . . . . . . . . . . . 42 3.4.4.1 Inkapseling van een invariant in een booleaanse methode . . . 43 3.4.4.2 Inkapseling van alle relevante klasse-invarianten in een gemeenschappelijke booleaanse methode . . . . . . . . . . . . . . . . . 43 3.4.5 Vertaling van pre- en postcondities . . . . . . . . . . . . . . . . . . . . . 43 3.5 Evaluatie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 4 Realisatie in HAT 46 4.1 HAT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 4.2 Run-time OCL naar JAVA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 4.2.1 OCL attribuut-, associatie- en operatiemodelelementen . . . . . . . . . . 49 4.2.2 OCL collectieiterator modelelementen . . . . . . . . . . . . . . . . . . . 49 4.2.3 OCL If-then-else en let modelelementen . . . . . . . . . . . . . . . . . . 50 4.2.4 Inkapseling van collectieoperaties . . . . . . . . . . . . . . . . . . . . . . 50 4.3 Naïeve aanpak in HAT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 4.4 Intelligente aanpak in HAT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 4.5 Evaluatie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 5 Case study - Royal and Loyal 54 5.1 Beschrijving van de case study . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 5.2 Vertaling met behulp van HAT . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 6 Besluit 59 6.1 Doelstellingen en problemen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 6.2 Oplossing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 6.3 Kritische noot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 6.4 Toekomstig werk: uitbreidingen en aanpassingen . . . . . . . . . . . . . . . . . 60 A Lijst Van Afkortingen 62
L¼st van guren 1.1 Relatie tussen PIM, PSM en code . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Gesimpliceerd UML model van een Luchthaven systeem . . . . . . . . . . . . . 3 3.1 Afhankelijkheid tussen klasse invarianten en postcondities horend bij operaties . 41 3.2 Klassediagram van het lopende voorbeeld. . . . . . . . . . . . . . . . . . . . . . 45 4.1 Architectuur van de Agile MDA Tool . . . . . . . . . . . . . . . . . . . . . . . . 47 4.2 Gesimpliceerde OCL meta-model . . . . . . . . . . . . . . . . . . . . . . . . . 48 4.3 Abstract syntax metamodel voor ModelPropertyCallExpr . . . . . . . . . . . . 49 5.1 Het aangepaste model van Royal and Loyal . . . . . . . . . . . . . . . . . . . . 55 5.2 Het model van Royal and Loyal . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 v
Page 1 and 2: Dankwoord Ik wil alle mensen bedank
Page 3: INHOUDSOPGAVE iii 3 Methodologie 17
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 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?