Dankwoord - martes
Dankwoord - martes
Dankwoord - martes
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2.2. TOOLS 13<br />
compleet systeem als resultaat hebben. Natuurlijk zijn meer geavanceerde constructie (zoals<br />
@pre en result) nog niet ondersteund. In de tabel 2.3 is alles nog eens samengevat.<br />
Id Criteria Opmerking Ondersteuning<br />
1 invarianten Ja<br />
2 pre-, postconditie Ja<br />
3 attributen, Geen inspectoren of Neen<br />
associaties mutatoren gegenereerd,<br />
attributen met publieke visibiliteit<br />
4 collectie Ja<br />
5 @pre dit sleutelwoord is Neen<br />
genegeerd<br />
6 result Neen<br />
7 assertion Neen<br />
8 slimme controle Neen<br />
klasse-invarianten<br />
Tabel 2.3: Evaluatie van OCLE<br />
2.2.3 Together 2006 for Eclipse<br />
De Together 2006 Release 2 for Eclipse [11] versie 8.1.1 is een visueel platform dat ondersteuning<br />
biedt voor een grote groep van gebruikers, van software architecten en ontwikkelaars tot<br />
business process analisten. De mogelijkheden van dit tool zijn enorm groot. Hier gaan we ons<br />
tot een bepaald deel van de eigenschappen van het tool beperken, namelijk transformatie van<br />
OCL expressies naar code.<br />
Id Criteria Opmerking Ondersteuning<br />
1 invarianten Ja<br />
2 pre-, postconditie Ja<br />
3 attributen, Geen mutatoren of inspectoren, Neen<br />
associaties publieke visibiliteit attributen<br />
4 collectie Geen hulp methoden Ja<br />
5 @pre Ja<br />
6 result De semantiek van de vertaalde Ja<br />
code is niet precies<br />
7 assertion Goed gebruik van assertions Ja<br />
slimme controle<br />
8 klasse-inavianten Neen<br />
Tabel 2.4: Evaluatie van Together 2006 for Eclipse<br />
In dit tool kan men opnieuw zelf modellen creëren en dan constraints erop toevoegen. Het tool<br />
beschikt over een 'syntax completion' functie die men toelaat om snel en eciënt constraints