| |
4-32 Allgemeines Lager Metamodel, v1.1 März 2003 4 4,3,4,2 Begrenzungen Der Betriebs- Inhalt Resultate in einem Satz, der das ModelElements vorbei besessen enthält oder importiert durch das Paket. Inhalt: Set(ModelElement) Inhalt = self.ownedElement->union(self.importedElement) Die Betriebs- allImportedElements Resultate in einem Satz, der das ModelElements enthält importiert durch das Paket. allImportedElements: Set(ModelElement) allImportedElements = self.importedElement Die Betriebs- allContents Resultate in einem Satz, der das ModelElements vorbei besessen enthält oder importiert durch das Paket. allContents: Set(ModelElement) allContents = self.contents [ C-3-1 ] Eine Begrenzung kann nicht an sich angewendet werden. Kontext Begrenzung inv: nicht self.constrainedElement->includes (Selbst) [ C-3-2 ] Ein DataType kann kein anderes ModelElements enthalten. Kontext DataType inv: self.ownedElement->isEmpty [ C-3-3 ] Umbauten dazugehörig mit einem Modelelement (direkt über eine Eigenschaftsliste oder indirekt über einen Stereotype) nicht darf Zusammentreffen mit irgendwelchen Metaattributen, die mit dazugehörig sind das vorbildliche Element. Kontext ModelElement inv: -- kann nicht mit OCL spezifiziert werden [ C-3-4 ] Ein vorbildliches Element muß höchstens einen etikettierten Wert mit einem gegebenen Umbaunamen haben. Kontext ModelElement inv: self.taggedValue->forAll(t1, T2: TaggedValue| t1.tag = t2.tag deutet an T1 = T2) |  |
|
| |
|
|
