Implementatie #-operator

Transcriptie

1 Departement Wiskunde-Informatica Universiteit Antwerpen November 13, 2005

2 Book sample Book sample Tools Reïficatie Maak van de event method loan een method class Loan Non-reïficatie Genereer nieuwe properties voor attributable queries. Voor non-attributable queries worden nieuwe queries gegenereerd.

3 De OCL constraints Book sample Tools context Book::nbLoans() : Integer post: result = self#loan(5)->size() post: true context Book::hasBookBeenLoaned() : Boolean post: result = self#loan(5)->notempty() context Book::loan(duration : post: true Integer) endpackage Enkele condities kunnen genegeerd worden. De expliciete vermelding van de event method is voorlopig noodzakelijk om de aanwezigheid ervan te tonen.

4 De klasse Book sample Tools

5 Book sample Tools MoTMoT en Dresden OCL Toolkit MoTMoT: Algemene besturing van het transformatieproces en transformeren van de UML-elementen Dresden OCL Toolkit: Parsing van OCL-constraints en beheren van OCL modelelementen in repository

6 Verloop transformatie

7 Klassediagram

8 OCL constraints context Book::nbLoans() : Integer post: result = self.loan->size() post: true context Book::hasBookBeenLoaned() : Boolean post: result = self.loan->notempty() context Book::loan(duration : post: true Integer) endpackage

9 Verloop transformatie

10 Verloop OCL herschrijvingen

11 Klassediagram

12 OCL constraints (1) context Book::nbLoans() : Integer post: result = self.nbloans post: true context Book::hasBookBeenLoaned() : Boolean post: result = not(nothasbookbeenloaned()) context Book::loan(duration : Integer) post: self.nothasbookbeenloaned = self.nothasbookbeenloaned post: self.nbloans = self.nbloans@pre + 1 post: true

13 OCL constraints (2) context Book::nothasBookBeenLoaned() : boolean post: self.result = self.nothasbookbeenloaned context Book : property nbloans : int Initial value: 0 Semantics: self#loan(5)->size() context Book : property nothasbookbeenloaned : boolean Initial value: false Semantics: self#loan(5)->isempty() endpackage

14 Opslag informatie voor constraint herschrijvingen Dit wordt gedaan in een XML-bestand. Voor elke functie bestaat er een herschrijfregel. Identificatie functies: bvb classeventmethod()- size() Attribuut type: voor size() een int Semantics en initial value: specificatie property constraint Specificatie non-attributable queries en geassocieerde attributable queries die dienen gegenereerd te worden

15 Overzicht shortcuts String herschrijvingen Nieuwe postcondities op de event method worden niet uitgewerkt zoals in paper, maar rechtstreeks geschreven in finale vorm Enkel eenvoudige gevallen van attributable en non-attributable queries zijn beschouwd

16 Toekomstig werk Zijn herschrijvingen te generaliseren? Wat bvb. met min()? Verschil tussen attributable en non-attributable queries automatisch te achterhalen? Dresden OCL Toolkit ondersteunt OCL-UML metamodel: rechtstreeks constraints bewerken via SDM in MoTMoT Samenwerking MoTMoT en Dresden OCL Toolkit verbeteren

17 Reïficatie Generisch algoritme Precieze definitie van event method en method class nodig

18 Reïficatie Generisch algoritme Precieze definitie van event method en method class nodig Non-reïficatie Basisalgoritme kan geïmplementeerd worden Overschakeling nodig naar OCL meta-model Genericiteit van de herschrijvingen dient uitgewerkt te worden Verfijning algoritme nodig om andere constraints te herschrijven