Bewertung der Qualität objektorientierter Entwürfe - Worte-Projekt

52 5 Ein Referenzmodell für den objektorientierten Entwurf
Die Komposition von Parameter in BehavioralFeature (der Oberklassen von Operation)
kann als Relation ausgedrückt werden: has(o,p) gilt genau dann, wenn es eine
Instanz der Komposition gibt, bei der die Rolle type mit o und die Rolle parameter
mit p belegt ist.
5.3.7 Parameter
M ist die Menge aller Parameter von Operationen.
Attribute
• name: Name. Der Name des Parameters.
• kind: ParameterDirectionKind. Die Art des Parameters (in, out, inout, return). in,
out und inout stehen für die Richtung der Parameterübergabe beim Aufruf (analog
zur Programmiersprache Ada, vgl. ISO/IEC 8652:1995, S. 123ff.). return kennzeichnet
den Pseudoparameter für die Rückgabe, mit dessen Hilfe der Rückgabetyp
modelliert wird.
• type: Classifier. Typ des Parameters, der sich aus der gerichteten Assoziation von
Parameter mit Classifier im UML-Metamodell ableitet.
5.4 Erweiterungen
In diesem Abschnitt werden Erweiterungen von ODEM vorgestellt. Zunächst werden
Relationen eingeführt, die aus den bereits eingeführten Relationen abgeleitet werden
können. Diese Relationen vereinfachen die Definition von Metriken auf der Basis von
ODEM. Dann wird diskutiert, wie Relationen gewichtet werden können. Abschließend
werden verschiedene Aspekte einer Erweiterung von ODEM um parametrisierte
Klassen (Templates) betrachtet.
5.4.1 Abgeleitete Relationen
Die allgemeine Abhängigkeitsbeziehung depends_on fasst alle Arten von Abhängigkeiten
zwischen Modellelementen zusammen. Sie setzt voraus, dass tatsächlich alle
Arten von Benutzung zwischen Klassen (z. B. Aufruf einer Methode, Zugriff auf ein
Attribut, Benutzung als Attributtyp oder Parametertyp) im UML-Modell als Instanzen
von Usage repräsentiert sind. Nur im Falle der Benutzung als Typ bei Attributen
oder Parametern können uses-Beziehungen aus der vorliegenden Information automatisch
abgeleitet werden. Für die anderen genannten Fälle (z. B. Zugriff auf ein
Attribut) ist das nicht möglich, daher ist es wichtig, diese Arten von Benutzungsbeziehungen
explizit anzugeben.
depends_on(x,y) ⇔ extends(x,y) ∨ realizes(x,y) ∨ associates(x,y) ∨ uses(x,y).
Von dieser Relation kann eine Relation depends_on für Paketabhängigkeiten abgeleitet
werden. Ein Paket p hängt von einem Paket q genau dann ab, wenn es eine Klasse
oder ein Interface c aus p gibt, das von einer Klasse oder einem Interface d aus q
abhängt.
depends_on(p,q) ⇔∃c,d∈C∪I: c ≠ d ∧ contains(p,c) ∧ contains(q,d) ∧ depends_on(c,d)