Dankwoord - martes

Recommendations

Info

Hoofdstuk 5 Case study - Royal and Loyal In dit hoofdstuk willen we nagaan hoe de transformatie van OCL expressies naar JAVA die we met behulp van het HAT tool geimplementeerd hebben in werkelijkheid kunnen toepassen. Om dat te realiseren hebben we als gevalstudie het voorbeeld van [1] overgenomen. Dit voorbeeld gaat over een software systeem van een imaginaire bedrijf die Royal and Loyal (R&L) noemt. 5.1 Beschrijving van de case study R&L behandelt loyaliteitsprogrammas voor bedrijven die aan hun klanten verschillende soorten van bonussen bieden. Deze toeslagen hebben meestal de vorm van extra punten of air miles maar zijn er ook andere soorten van bonussen mogelijk. Met andere woorden eender welke dienst een bedrijf wenst te bieden dan is deze in een loyaliteitsprogramma overgebracht. figuur 5.1. toont het UML klassemodel dat R&L voor het meest van zijn klanten gebruikt. De centrale klasse in het model is LoyalyProgram. Een bedrijf dat aan zijn klanten lidmaatschap in een loyaliteitsprogramma biedt noemen we ProgramPartner. Meer dan een bedrijf mag gebruik maken van hetzelfde programma. Bijgevolg kunnen klanten van alle diensten genieten die door de participerende bedrijven aangeboden zijn indien ze in een loyaliteitsprogramma participeren. Elke klant van een ProgramPartner kan in een loyaliteitsprogramma toetreden door het invullen van een formulier en het verkrijgen van een lidmaatschapskaart. De klasse Customer representeert de klanten die in het programma participeren. De lidmaatschapskaart is door de klasse CustomerCard voorgesteld. Een CustomerCard is maximaal aan een persoon geassocieerd, maar kan gebruikt worden door de ganse familie of zaak. De meeste programmas laten klanten toe om punten te sparen. Elke individuele programmapartner beslist de toekenning van punten aan zijn klanten voor een bepaalde aankoop. Elke klant kan met zijn/haar bespaarde punten specieke diensten van een van de programmapartners aankopen. Beheren van spaarpunten is in klasse LoyaltyAccount opgenomen. Op een LoyaltyAccount zijn verschillende transacties mogelijk: transacties waarbij een klant punten verkrijgt en andere waarbij een klant punten besteedt. De eerste soort is in ons systeem als de klasse Earning modelleert en de tweede als Burning. Deze twee soorten van transacties zijn als subklassen van de klasse Transaction gemodelleerd. 54
5.2. VERTALING MET BEHULP VAN HAT 55 Figuur 5.1: Het aangepaste model van Royal and Loyal De klasse ServiceLevel is geïntroduceerd om verschillende niveaus van diensten te besturen. Deze is gedenieerd door een loyaliteitsprogramma en is door een lidmaatschap gebruikt. 5.2 Vertaling met behulp van HAT Het oorspronkelijke klasse-diagram van daarboven hebben we licht aangepast om de constraints van dit model te kunnen transformeren naar JAVA . Uit de associatieklasse Membership hebben we een gewone klasse gemaakt. De reden voor deze aanpassing was dat veel van de OCL expressies (die bij dit model horen) konden niet gevalideerd worden in HAT. In de volgende paragraaf gaan we meer concreet bespreken welke soort van constraints niet gevalideerd kon.
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: 4.5. EVALUATIE 53 Id Criteria Opmer
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

Create successful ePaper yourself

Delete template?

Save as template?