3-36 UML-Profil für CORBA, v1.0 April 2002 3 Jedes Mitglied hat ein TaggedValue { Fall = LabelName } angebracht mit seinem LabelName Wert, der der Fallaufkleber für dieses Mitglied in der Anschlußerklärung ist. Für Anschluß Erklärungen, in denen es einen Rückstellungsfall gibt, der Wert von LabelName für die Rückstellung Mitglied ist die Zeichenkette "Rückstellung.", Begrenzungen CORBAUnion: CORBAConstructedType (Core::Class) Alle Begrenzungen auf < < CORBAConstructedType > > treffen Sie auf Anschlüße zu. Zusätzlich folgende Begrenzungen treffen zu: [ 1 ] Entweder genau eins der Attribute oder genau eins von den schiffbaren gegenüber von AssociationEnds von a < < CORBAUnion>>-stereotypedkategorie (aber nicht beide) muß sein stereotyped wie < < Schalter > > (im Fall von einem Attribut) oder < < switchEnd > > (in Fall von AssociationEnd). self.allAttributes->select(attrib|attrib.type.isStereotyped("switch")) - > Größe = 1 xor self.navigableOppositeEnds->select(end| end.type.isStereotyped("swutchEnd"))->size = 1 [ 2 ] Das Attribut oder das AssociationEnd, das den Schalter des IDL-Anschlußes darstellt dargestellt durch < < muß CORBAUnion>>-stereotypedkategorie Vielfältigkeit haben 1,,1. lassen Sie Schalter = self.allAttributes->select(attrib| attrib.type.isStereotyped("switch"))->union( self.navigableOppositeEnds->select(end| end.type.isStereotyped("switchEnd"))) innen switch.oclIsTypeOf(Attribute) deutet an (switch.multiplicity.range.lower = 1 und switch.multiplicity.range.upper = 1) und switch.oclIsTypeOf(AssociationEnd) deutet an (switch.multiplicity.range.lower = 1 und switch.multiplicity.range.upper = 1) [ 3 ] Mit Ausnahme von dem Element, das den Schalter, jedes Attribut darstellt und schiffbar gegenüber von AssociationEnd von a < < CORBAUnion>>-stereotypedkategorie muß die Vielfältigkeit 0,,1 und einen etikettierten Wert "Fall haben.", (self.allAttributes ->forAll(attrib|nicht attrib.type.isStereotyped("switch") deutet attrib.multiplicity.range.lower = 0 an und attrib.multiplicity.range.upper = 1)) und