Dankwoord - martes

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