Dankwoord - martes

Recommendations

Info

20 HOOFDSTUK 3. METHODOLOGIE Het grootste voordeel van het assert statement in de JAVA programmeertaal is de mogelijkheid om deze asserties aan en uit te schakelen. Bij de implementatie- en testfasen van het ontwikkelingsproces is essentieel om deze opties aan te schakelen. Als we in plaats van asserties gewoon if-statements gebruiken om de constraints over ons model te veriëren maakt dat geen groot verschil. Het nadeel van de if-statements tegenover de asserties komt bij de fase van het installeren (deployment) van applicaties. Deze overhead van zulke vericatie kan enorm groot zijn waardoor de eciëntie van ons systeem kan dalen. If-statements zullen in alle gevallen uitgevoerd worden. Gebruik makende van asserties kunnen wij op elk moment beslissen of we al dan niet de constraints willen nagaan. 3.2 Beschrijving van de methodologie In deze sectie zullen we een formele beschrijving van OCL expressies naar broncode geven, in ons geval is dat JAVA. We zullen ons op een deelverzameling van de OCL taal focussen. Deze deelverzameling zal attribuutmodelelementen, associatiemodelelementen, operaties en meer geavanceerde constructies zoals tijdgerefereerde variabelen bevatten. 3.2.1 Vertaling van attributen en associaties De aanwezigheid van attributen en associatie is niet zo maar toevallig in OCL expressies. Attribuutwaarden stellen eigenschappen van klassen voor. Anderzijds representeren associatiewaarden de relaties tussen de verschillende klassen in een model. Bij gevolg hebben allebei een belangrijke rol en hun vertaling is wel nodig. Een attribuut of associatie kan in een OCL expressie zowel expliciet als impliciet gerefereerd worden. Indien men expliciet naar een contextuele instantiatie moet refereren, kan men gebruik maken van het sleutelwoord self. Als de referentie naar een contextuele instantiatie (in ons geval een attribuut of associatie) duidelijk is, is dit sleutelwoord optioneel. Bij vertaling van het OCL sleutelwoord self naar JAVA beeld dit zich af op het sleutelwoord this in JAVA. De waarde van het attribuut attribute is in JAVA te verkrijgen door de operatie getAttribute() op te roepen. Eender welke attribuutreferentie in OCL wordt op bijbehorende get operatie afgebeeld. Als we de volgende OCL expressie hebben: self.attribute wordt deze vertaald in JAVA op de volgende manier. this.getAttribute() De JAVA vertaling van associaties is als volgt: associaties worden afgebeeld op private JA- VA attributen met de bijbehorende get operatie. Dat wil zeggen dat OCL navigatie binnen associaties als een operatie oproep in JAVA gemodelleerd wordt. De OCL expressie
3.2. BESCHRIJVING VAN DE METHODOLOGIE 21 self.associationEnd wordt getransformeerd naar de volgende JAVA code: this.getAssociationEnd(); 3.2.2 Vertaling van OCL operaties over basistypen Deze sectie denieert de vertaling van operaties over basistypen. Met basistypen bedoelen we hier de Boolean, Integer, Real en String typen. De vertaling van deze basistypen en hun bijbehorende operaties is op zichzelf niet zo moeilijk. We kunnen voor elke van deze operaties een implementatie in JAVA voorzien door middel van een van standaard bibliotheek waarin voor elk type een klasse zal geimplementeerd worden en binnen zo'n klasse zullen de bijbehorende operaties als statische methoden geimplementeerd worden. Vermits in JAVA deze typen en hun bijbehorende operaties tegenhangers hebben verkiezen we hier om een hergebruik van de JAVA API te maken. Bijgevolg is de vertaling van deze OCL operaties eigenlijk een afbeelding op hun tegenhangers in JAVA. We zullen kort de vertaling van de meest voorkomende operaties bespreken. We zullen deze vertaling ook in een tabelvorm voorstellen. We hebben al gezegd dat er Boolean, Integer, Real en String basistypen in OCL zijn. We beginnen met het Boolean basistype. 3.2.2.1 Boolean type Een boolean type kan twee waarden hebben: false of true. JAVA biedt equivalente sleutelwoorden en bijgevolg is de vertaling naar JAVA direct. Natuurlijk moeten de bijbehorende operaties wel afgebeeld worden. In tabel 3.1 introduceren we het meest voorkomende booleaanse operaties. Booleaanse operaties hebben twee delen, namelijk een rechter- en een linkerdeel. In de tabel hieronder stelt 'a' het linker deel van deze operaties voor die een OCL expressies is. Hetzelfde geldt voor het rechterdeel. Het resultaat van het toepassen van een booleaanse operaties geeft een booleaanse waarde terug. Operatie OCL notatie Java vertaling Type van het resultaat or a or b a || b Boolean and a and b a && b Boolean exclusieve or a xor b (a || b) &&(a != b) Boolean negation not a ! a Boolean equals a = b a == b Boolean not equals a b a != b Boolean implies a implies b a ? b : true Boolean Tabel 3.1: Standaard operaties voor de Boolean type We gaan dat verduidelijken aan de hand van een voorbeeld voor de conjunctie en disjunctie van twee booleaanse attributen. Stel dat we de volgende OCL expressie hebben:
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: 3.1. DESIGN BY CONTRACT 19 Het prin
Page 29 and 30: 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,

Dankwoord - martes

Create successful ePaper yourself

Delete template?

Save as template?