BERGISCHE UNIVERSIT ¨ AT WUPPERTAL
GAUSS-STRASSE 20 42119 WUPPERTAL TELEFAX (0202) 439-2901 TELEFON (0202) 439-0 WWW www.uni-wuppertal.de
Fachbereich C
MATHEMATIK UND NATURWISSENSCHAFTEN Fachgruppe Mathematik und Informatik
Formale Methoden
WS 2009/2010 – ¨ Ubungsblatt 6 10. Dezember 2009
Ausgabe: 14. Dezember 2009 Abgabe bis 6. Januar 2010 an:
afriedho@studs.math.uni-wuppertal.de
Prof. Dr. Hans-J¨urgen Buhl Praktische Informatik / Numerik
E-Mail: buhl@math.uni-wuppertal.de http://www.math.uni-wuppertal.de/∼buhl
Aufgabe 1. Waehrung
Erstellen Sie das UML-Modell einer abstrakten Klasse Waehrung und konkreter Kindklassen Euro, Pfund, USDollar sowie Franken mit grundlegenden Observatoren, Konstruktoren, Kurswandlung jeweils aus den anderen W¨ahrungen, ...
Schreiben und testen Sie erforderliche OCL-Vertr¨age auf syntaktische Korrektheit.
Aufgabe 2. Datum/Wochentag
Erstellen Sie das UML-Modell einesdatatypes Datummit einer Metho- de Wochentag und schr¨anken Sie die m¨oglichen Attribut-Werte durch geeignete OCL-Ausdr¨ucke gen¨ugend stark ein.
Aufgabe 3. Adresse
Erstellen Sie das UML-Modell einer abstrakten KlasseAdresseund ge- eigneter KindklassenLieferadressesowieRechnungsadresse. Schrei- ben und testen Sie f¨unf OCL-Ausdr¨ucke f¨ur diese Klassen.
Aufgabe 4. OCL-Collections
Lesen Sie im OCL-Handbuch
http://www.omg.org/spec/OCL/2.0/PDF
die Nachbedingungen der folgenden Operationen und geben Sie je- weils eine umgangssprachliche Semantikbeschreibung in eigenen Wor- ten: excluding(object), indexOf(object), intersection(coll), prepend() und symmetricDifference(coll).
1