März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-51 Semantik Mit 2 UML Stereotypes 2,5,3 WohlgeformtheitcRichtlinien Die folgenden Wohlgeformtheitrichtlinien treffen auf das Kernpaket zu. 2,5,3,1 Verbindung "Anruf" Kategorie Anruf ist eine stereotyped Verbrauchabhängigkeit deren Quelle ein Betrieb ist und dessen Ziel ein Betrieb ist. Das Verhältnis kann auch sein zusammengefaßt zur Kategorie, die einen Betrieb, mit der Bedeutung das enthält besteht ein Betrieb in der Kategorie, auf die die Abhängigkeit zutrifft. Eine Anrufabhängigkeit spezifiziert daß der Quellbetrieb oder ein Betrieb in der Quelle die Kategorie ruft den Ziel Betrieb oder ein Betrieb in hervor Zielkategorie. Eine Anrufabhängigkeit kann einen Quellbetrieb an irgendwelche anschließen zielen Sie Betrieb, dessen innerhalb des Bereichs einschließlich ist, aber begrenzt nicht auf, Betriebe des umgebenden Klassifikators und Betriebe von anderem sichtbar Klassifikatoren. "verursachen Sie" Kategorie Verursachen Sie ist eine stereotyped Verbrauchabhängigkeit, die daß der Klient bezeichnet Klassifikator verursacht Fälle des Lieferantenklassifikators. "instantiate" Kategorie Eine stereotyped Verbrauchabhängigkeit unter den Klassifikatoren, die den anzeigen Betriebe auf dem Klienten verursachen Fälle des Lieferanten. "senden Sie" Kategorie Senden Sie ist eine stereotyped Verbrauchabhängigkeit deren Quelle ein Betrieb ist und dessen Ziel ein Signal ist und spezifiziert, daß die Quelle sendet zielen Sie Signal. [ 1 ] Das AssociationEnds muß einen einzigartigen Namen innerhalb der Verbindung haben. self.allConnections->forAll(r1, r2|r1.name = r2.name deutet an r1 = r2) [ 2 ] Höchstens kann ein AssociationEnd eine Anhäufung oder ein Aufbau sein. self.allConnections->select(aggregation < # none)->size < = 1 [ 3 ] Wenn eine Verbindung drei oder mehr AssociationEnds hat, dann kann kein AssociationEnd sein Anhäufung oder Aufbau.