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

5.2 Umfang 47
5.2.2 Erweiterungen
Neben diesen Einschränkungen gibt es auch noch Erweiterungen um zusätzliche
Modellelemente. Diese bestehen aus Mengen von Entitäten und aus Relationen. Die
neu eingeführten formalen Bezeichner sind in Tabelle 5-1 zusammengestellt.
Bezeichner Bedeutung
S Das System (enthält alle Modellelemente)
A Menge aller Attribute in S
C Menge aller Klassen in S
I Menge aller Interfaces in S
M Menge aller Parameter in S
O Menge aller Operationen in S
P Menge aller Pakete in S (einschließlich S)
associates Relation für Assoziationsbeziehungen zwischen Klassen/Interfaces
associates* Erweiterte associates-Relation (umfasst auch geerbte Assoziationen)
contains Relation, die aussagt, dass ein Paket ein Modellelement enthält
contains* Erweiterte contains-Relation (transitive Hülle)
depends_on Aggregierte Relation für Beziehungen zwischen Klassen/Interfaces, die
eine Abhängigkeit verursachen
depends_on* Erweiterte depends_on-Relation (umfasst auch geerbte Abhängigkeiten)
extends Relation für das Erben von Eigenschaften
extends* Erweiterte extends-Relation (transitive Hülle)
has Relation für das Enthaltensein von Eigenschaften in Klassen/Interfaces
bzw. Klassen/Interfaces in Paketen
has* Erweiterte has-Relation (umfasst auch geerbte Eigenschaften)
realizes Relation für die Realisierung eines Interfaces durch eine Klasse
realizes* Erweiterte realizes-Relation (umfasst auch geerbte Realisierungen)
uses Relation für die Benutzung einer Klasse/eines Interfaces
uses* Erweiterte uses-Relation (umfasst auch geerbte Benutzungen)
Tabelle 5-1: Überblick über die formalen Bezeichner in ODEM
Als Alternative zu den zusätzlichen Modellelementen wurde erwogen, die formale
Definition von Metriken mit der Object Constraint Language (OCL; Warmer, Kleppe,
1999) durchzuführen. Die OCL ist eine formale Sprache zur Formulierung von Einschränkungen
auf UML-Modellen. Erste Versuche mit OCL zeigten jedoch, dass die
Erstellung von Metrikdefinitionen schwierig ist. Außerdem sind sie schlecht zu lesen
und zu verstehen. Darum wurde dieser Ansatz nicht weiterverfolgt. Hingegen hat
Abreu (2001) später OCL erfolgreich eingesetzt, um auf der Basis des Metamodells
GOODLY Metriken zu definieren. Es ist wahrscheinlich, dass sich seine Ergebnisse
auf das UML-Metamodell übertragen lassen. Allerdings sind die notwendigen komplexen
OCL-Ausdrücke nicht besonders gut lesbar.