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

50 5 Ein Referenzmodell für den objektorientierten Entwurf
• isAbstract: Boolean. Klassen können abstrakt (Wert true) oder konkret (Wert false)
sein.
• visibility: VisibilityKind. Bedeutung und Herleitung analog zu der bei den Paketen.
Beziehungen
• extends: C × C
Eine Klasse erweitert eine Oberklasse, d. h. sie erbt von ihr. Eine Klasse kann beliebig
viele Oberklassen erweitern, auch keine. Die Ableitung vom UML-Metamodell
ist analog zur extends-Relation bei Interfaces.
• realizes: C × I
Eine Klasse realisiert ein Interface. Eine Klasse kann beliebig viele Interfaces realisieren,
auch keine.
Im UML-Metamodell steht die Klasse Abstraction, eine Unterklasse von Dependency,
für diese Beziehung. realizes(k,i) gilt genau dann, wenn es eine Instanz a von
Abstraction mit Stereotyp «realize» gibt, bei der die Rolle a.supplier mit i und die
Rolle a.client mit k belegt ist.
• has: C × O
Eine Klasse besitzt eine Operation. Eine Klasse kann beliebig viele Operationen
haben, auch keine. Geerbte Operationen zählen nicht mit. Die Ableitung vom
UML-Metamodell ist analog zur has-Relation bei den Interfaces.
• has: C × A
Eine Klasse besitzt ein Attribut. Eine Klasse kann beliebig viele Attribute haben,
auch keine. Geerbte Attribute zählen nicht mit. Die Ableitung vom UML-Metamodell
ist analog zur obigen has-Relation, da Feature auch Oberklasse von Attribute
ist.
• associates: C × (C ∪ I)
Eine Klasse kann mit einer Klasse (oder einem Interface) assoziiert sein (gerichtet
durch Navigierbarkeit). Eine Klasse kann beliebig viele andere Klassen assoziieren,
auch keine. Eine Klasse kann sich auch selbst assoziieren. Geerbte Assoziationen
zählen nicht mit.
Im UML-Metamodell steht die Klasse Association für eine Assoziation. Association
hat mindestens zwei AssociationEnds, in denen die Eigenschaften der Assoziation
abgelegt sind (Navigierbarkeit: isNavigable, Art der Assoziation: aggregation). associates(k,l)
gilt genau dann, wenn es eine Instanz a von Association gibt, die zwei
Instanzen e1 und e2 von AssociationEnd hat, und wenn die Rolle e1.type mit k, die
Rolle e2.type mit l belegt ist. Außerdem muss e2.isNavigable gelten, d. h. es muss
möglich sein, von k nach l über die Assoziation zu navigieren.
Das Attribut e1.aggregation gibt die Art der Assoziation an (none, aggregate, composite)
und wird auf die Relation selbst übertragen. Auf diese Weise kann durch
das Attribut aggregation der associates-Relation bei Bedarf zwischen normaler Assoziation,
Aggregation und Komposition unterschieden werden. 2
Sofern eine Association mehr als zwei AssociationEnds hat, wird sie in binäre Assoziationen
zerlegt. Eine n-äre Assoziation kann so (je nach Navigierbarkeit der AssociationEnds)
in bis zu n(n-1)/2 binäre Assoziationen zerlegt werden.