Modellierung des Verhaltens

Der Zugriff auf den Objektzustand und die Manipulation des Zustands geschieht über eine Schnittstelle. Die Schnittstellenoperationen können

• ein Objekt erzeugen (instanziieren) und initialisieren mit Hilfe eines Konstruktors,
• freigegebene Teile des Zustands erfragen mit Hilfe eines Observers,
• konsistenzerhaltende Operationen auf einem Objekt ausführen mit Hilfe eines Mutators,
• das Objekt zerstören mit Hilfe eines Destruktors.

Die Aufrufstruktur der Operation, genannt Signatur, legt folgendes fest:

• Name der Operation,
• Anzahl und Typ der Parameter,
• Typ des Rückgabewerts, falls vorhanden, sonst void,
• ggf. die durch die Operation ausgelöste Ausnahme (engl. exception).

Beispiel:

class Professoren {
  exception hatNochNichtGeprueft { };
  exception schonHoechsteStufe   { };
  ...
  float wieHartAlsPruefer() raises (hatNochNichtgeprueft);
  void befoerdert() raises (schonHoechsteStufe);
};

Hierdurch wird der Objekttyp Professoren um zwei Signaturen erweitert:

• Der Observer wieHartalsPruefer liefert die Durchschnittsnote und stößt die Ausnahmebehandlung hatNochNichtGeprueft an, wenn keine Prüfungen vorliegen.
• Der Mutator befoerdert erhöht den Rang um eine Stufe und stößt die Ausnahmebehandlung schonHoechsteStufe an, wenn bereits die Gehaltsstufe C4 vorliegt.

Man bezeichnet den Objekttyp, auf dem die Operationen definiert wurden, als Empfängertyp (engl receiver type) und das Objekt, auf dem die Operation aufgerufen wird, als Empfängerobjekt.

Die Aufrufstruktur hängt von der Sprachanbindung ab. Innerhalb von C++ würde befördert aufgerufen als

meinLieblingsProf->befoerdert();

In der deklarativen Anfragesprache OQL (siehe Abschnitt 16.13) ist der Aufruf wahlweise mit Pfeil ( ->) oder mit einem Punkt ( .)durchzuführen:

select p.wieHartAlsPruefer()
from p in AlleProfessoren
where p.Name = "Kant";