Metamodellbasierte und hierarchieorientierte ... - RosDok

3.1 Einführung 33
Im folgenden werden Beispiele für OCL-Invarianten und Vor- und Nachbedingungen gegeben. Zunächst ist
hierfür ein Klassendiagramm notwendig, welches in Abbildung 3.1 zu sehen ist.
Abbildung 3.1: Bankenbeispiel als UML-Klassendiagramm zur OCL-Einführung
Es sind die Klassen Customer und Account spezifiziert. Die Klasse Account ist abstrakt. Kontenobjekte
werden durch die spezielleren Klassen Savings und Checking in Spar- und Girokonten eingeteilt. Mit der
Assoziation has und ihrer Multiplizitäten wird angegeben, dass ein Kunde mehrere Konten haben kann. Die
zugeordnete Menge an Konten kann dabei sowohl Giro- als auch Sparkonten umfassen. Mit der Operation
openAccount() wird ein neues Konto erstellt und dem entsprechenden Kunden zugeordnet. Es bleibt hier
unterspezifiziert, welche Kontoart ausgewählt wird. Dieses kann z.B. vorkonfiguriert sein oder über eine
UI-Abfrage ermittelt werden. Außerdem kann über die Operationen withdraw und deposit Geld von Konten
abgebucht und wieder raufgebucht werden.
Ein Beispiel für eine Invariante wird in Listing 3.1 gegeben. Die Invariante PositiveBalance ist der Klasse
Savings zugeordnet und sagt aus, dass ein Sparkonto keinen negativen Saldo haben darf. Zudem sind in
Listing 3.1 die Operationen withdraw() und openAccount() mit Vor- und Nachbedingungen spezifiziert. Die
Vorbedingung withdrawAmountPositive sagt aus, dass nur positive Beträge vom Konto abgebucht werden
dürfen. Die Nachbedingung withdrawDone sichert zu, dass nur der ausbezahlte Betrag vom Kontosaldo
abgezogen wurde. Eine letzte Bedingung ist mit openAccount() angegeben. Diese sagt aus, dass nach
Ausführung der Operation openAccount() ein zusätzliches Konto dem Kunden zugeordnet wurde.
✞
1 context Savings inv PositiveBalance:
2 balance >= 0
3
4 context Account::withdraw(amount:Real)
5 pre withdrawAmountPositive: amount > 0
6 post withdrawDone: self.balance = self.balance@pre − amount
7
8 context Customer::openAccount()
9 post accountAdded: account−>size() = account@pre−>size() + 1
✝
Listing 3.1: OCL-Invariante und Vor- und Nachbedingungen für das Bankbeispiel
☎
✆
OCL kann auch für weitere Zwecke eingesetzt werden. Es sind auch OCL-Terme denkbar, die losgelöst von
UML-Klassendiagrammen existieren können. Beispielsweise berechnet der OCL-Ausdruck in Listing 3.2
alle Quadratzahlen zwischen 1 und 100.
✞
☎
1 Set{1..100}−>select(m | Set{1..100}−>exists(n | m = n*n ))
✝
✆
Listing 3.2: OCL Term zur Berechnung aller Quadratzahlen zwischen 1 und 100