April 2002 UML-Profil für CORBA: Die CORBA-ArtcDarstellungen 3-13 3 [ 2 ] In denen alle Verbindungen a < < CORBAUserDefinedType>>-stereotypedklassifikator nimmt teil, das schiffbares gegenüber von AssociationEnds muß binär sein haben und in einer Richtung. self.navigableOppositeEnds ->forAll(end|end.association.connection->size = 2 und end.association.connection ->select(end|end.isNavigable)->size = 1) [ 3 ] Alles schiffbare gegenüber von AssociationEnds von a < < CORBAUserDefinedType > > - stereotyped Klassifikator muß das veränderbare changeability haben ", "Anhäufung" keine, " targetScope "Fall," und eine Art, dessen mit Nachkommen stereotyped < < CORBAUserDefinedType > > oder stereotyped < < CORBAPrimitive > >. self.navigableOppositeEnds ->forAll (Ende|end.changeability = # veränderbar und end.aggregation = # keine und end.targetScope = # Fall und (end.type.isStereokinded("CORBAUserDefinedType") oder end.type.isStereotyped("CORBAPrimitive"))) [ 4 ] Alles nicht-schiffbare nahe AssociationEnds von a < < CORBAUserDefinedType > > - stereotyped Klassifikator muß targetScope "Fall haben.", self.nonNavigableNearEnds.targetScope = # Fall [ 5 ] In denen alle Verbindungen a < < CORBAUserDefinedType>>-stereotypedklassifikator nimmt teil, das ein schiffbares gegenüber von AssociationEnd haben, dessen Art nicht a ist < < muß CORBAInterface>>-stereotypedklassifikator ein nahes AssociationEnd haben mit der Anhäufung "Zusammensetzung.", Anmerkung - zusammengesetzte Anhäufung deutet ein oberes Limit der Vielfältigkeit von 1 an. self.navigableOppositeEnds ->forAll(opEnd|nicht opEnd.type.isStereotyped("CORBAUserDefinedType") deutet an opEnd.association.connection ->select(end|beenden Sie < > opEnd).aggregation = # Zusammensetzung) [ 6 ] A < < CORBAUserDefinedType>>-stereotypedklassifikator kann nicht an irgendwelchen teilnehmen AssociationClasses. self.associations->forAll(assoc|nicht assoc.oclIsTypeOf(AssociationClass))