März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-121 Semantik Mit 2 UML Zusätzliche Betriebe 2,10,3,4 Zusammenarbeit self.allFeatures->isEmpty [ 4 ] Ein ClassifierRole ist nicht eine Rolle von einem anderen ClassifierRole. nicht self.base.oclIsKindOf (ClassifierRole) [ 1 ] Die Betriebs- allAvailableFeatures Resultate im Satz aller Eigenschaften enthalten im ClassifierRole zusammen mit denen enthalten in den Eltern. allAvailableFeatures: Set(Feature); allAvailableFeatures = self.availableFeature->union (self.parent.allAvailableFeatures) [ 2 ] Die Betriebs- allAvailableContents Resultate im Satz von allem ModelElements enthalten in ClassifierRole zusammen mit denen enthalten in den Eltern. allAvailableContents: Set(ModelElement); allAvailableContents = self.availableContents->union (self.parent.allAvailableContents) [ 1 ] Alle Klassifikatoren und Verbindungen des ClassifierRoles und des AssociationRoles in der Zusammenarbeit im namespace umfaßt werden muß das Besitzen der Zusammenarbeit. self.allContents->forAll (e| (e.oclIsKindOf (ClassifierRole) deutet an self.namespace.allContents->includes ( e.oclAsType(ClassifierRole).base)) und (e.oclIsKindOf (AssociationRole) deutet an self.namespace.allContents->includes ( e.oclAsType(AssociationRole).base))) [ 2 ] Das ganzes begrenzende ModelElements muß im namespace umfaßt werden, welches die Zusammenarbeit besitzt. self.constrainingElement->forAll (Cer| self.namespace.allContents->includes (Cer)) [ 3 ] Wenn ein ClassifierRole oder ein AssociationRole nicht einen Namen hat, dann sollte er das einzige sein mit einer bestimmten Unterseite.