3-104 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 3 [ C-55 ] LowerCannotExceedUpper format1: LOWER_CANNOT_EXCEED_UPPER format2: lower_cannot_exceed_upper Auswertungspolitik: sofortig Beschreibung: Die unterere Schranke von einem MultiplicityType kann nicht den Upper übersteigen Grenze. Kontext MultiplicityType inv : Selbstlower < = Selbstupper oder Selbstupper = unbegrenzt [ C-56 ] UpperMustBePositive format1: UPPER_MUST_BE_POSITIVE format2: upper_must_be_positive Auswertungspolitik: sofortig Beschreibung: Das obere Limit von einem MultiplicityType kann nicht kleiner als 1 sein. Kontext MultiplicityType inv : Selbstupper > = 1 oder Selbstupper = unbegrenzt [ C-57 ] MustBeUnorderedNonunique format1: MUST_BE_UNORDERED_NONUNIQUE format2: must_be_unordered_nonunique Auswertungspolitik: sofortig Beschreibung: Wenn ein MultiplicityType Grenzen von [ 0,,1 ] oder [ 1,,1 ]) spezifiziert, is_ordered und is_uniquewerte müssen falsch sein. Kontext MultiplicityType inv : Selbstupper = 1 deutet an (nicht Selbst isOrdered und nicht Selbst isUnique) [ C-58 ] StructureFieldContainmentRules format1: STRUCTURE_FIELD_CONTAINMENT_RULES format2: structure_field_containment_rules Auswertungspolitik: sofortig Beschreibung: Ein StructureField enthält Begrenzungen und Umbauten. Kontext StructureField inv : Set{Constraint, Umbau }) - > includesAll(- Selbst contentTypes)