Entwicklung und Anwendung eines Bezugsrahmens zur ...

Personage : IntegerfirstName : StringlastName : StringisEmployed : Boolean0..*employee0..*employerCompanyname : Stringincome(Date) : IntegerJobsalary : IntegerAbbildung 31: Beispiel für KlassendiagrammEin Beispiel für eine Invariante in OCL ist der folgende Ausdruck:context Person inv:self.age >= 18Invarianten gelten immer für alle Instanzen eine Typs, dem sie zugeordnet sind. In obigem Beispiel istdie eigentliche Invariante in der zweiten Zeile zu finden, während die erste Zeile mit dem Schlüsselwortcontext und dem nachfolgenden Person den Typ bezeichnet, dem die Invariante zugeordnetist, wobei diese durch inv als solche gekennzeichnet ist. Das Schlüsselwort self steht stellvertretendfür eine Instanz des oben angegeben Typs. Die Semantik des Ausdrucks ist die, daß das Attributage für alle Instanzen vom Typ Person einen Wert von größer oder gleich 18 haben muß. Wenn derKontext des Ausdrucks klar erkennbar ist, kann das self weggelassen werden.Eine alternative Darstellung der Invariante ist:context p : Person inv:p.age >= 18Hier wird ein Name stellvertretend für eine Instanz von Person - p - angegeben und kann im folgendenAusdruck statt self verwendet werden.Vor- und Nachbedingungen für Operationen werden folgendermaßen dargestellt:context Person::income(d : Date) : Integerpre: d >= 1.4.1996post: result > 1500Die erste Zeile enthält wieder den Kontext, d.h. die bezogene Klasse Person und ihre Operationincome mit dem Parameter d vom Typ Date und einem Rückgabewert vom Typ Integer. Die Vorbedingungist hinter dem Schlüsselwort pre angegeben und besagt, daß vor der Ausführung derOperation sichergestellt sein muß, daß der Parameter d größer dem angegebenen Wert ist. NachAusführung der Operation muß die hinter post notierte Nachbedingung gelten, daß das Ergebnis derOperation größer 1500 ist. Das Ergebnis einer Operation kann immer mit dem reservierten Wortresult abgefragt werden.- 30 -