April 2002 Omg-mof, v1.4: Berechnungssemantik für das IDL-Diagramm 5-11 5 Anmerkung -- das MOF zum IDL-Diagramm nicht definieren Sie ein Standarddiagramm zum folgenden Konstruierte Arten CORBA IDL: Reihen, gesprungene Reihenfolgen, gesprungene Zeichenketten, gesprungen breite Zeichenketten, örtlich festgelegte Arten, Anschlußarten, Wertarten, geschachtelte Wertarten, Schnittstellenarten oder abstrakte Schnittstellenarten. 5,3,3 Wertarten und -gleichheit im IDL-Diagramm Das IDL-Diagramm definiert alle MOF-Fallarten da CORBA-Gegenstandarten, die sind abgestiegen von der Schnittstelle RefObject; sehen Sie Abschnitt 6,2,4, Reflective::RefAssociation, auf Seite 6-23. Gleichheit der Fallgegenstände sollte sein eingeführt, wie folgt: sind vorhandene Fallgegenstände des ¥ wenn gleich und nur wenn der refMofIdbetrieb definierte durch Section 6,2,3, Reflective::RefObject, auf Seite 6-10 bringt die gleiche Zeichenkette für zurück beide Gegenstände. werden nicht vorhandene Fallgegenstände des ¥ gemeint, um gleich zu sein wenn und nur wenn sie haben der gleiche Gegenstandhinweis; das heißt, wenn der Object::_is_equivalent-Betrieb zurückgeht zutreffend. Anmerkung -- eine Implementierung muß mach's gut, wenn sie Fallgegenstandwerte mit vergleicht unterscheiden Sie zwischen nicht vorhandenen (, d.h. gelöscht) Fallgegenständen und Gegenständen, die können seien Sie nur vorübergehend unzugänglich. Ein Betrieb sollte eine Ausnahme für a nur aufwerfen nicht vorhandener Fallgegenstand, wenn er nicht durchgeführt werden kann. Insbesondere ein Betrieb daß verstorbene Verbindungen oder Fallwerte ersetzt oder entfernt, sollten nicht sich beschweren daß Der Fall, der entfernt wird, ist verstorben. 5,3,4 Lebensdauersemantik für das IDL-Diagramm Dieser Abschnitt definiert das IDL, das s-Berechnungsmodell für Metagegenstandkreation abbildet und Auslassung. Sie gibt auch Definitionen von Kopiensemantik, obwohl diese z.Z. sollten seien als Indicative anstatt normativ angesehen Sie. 5,3,4,1 Verpacken Sie Gegenstandkreations- und -auslassungssemantik Ein M1-levelpaketgegenstand für ein nicht-genistetes M2-levelpaket wird verursacht, indem man hervorruft der verursachenbetrieb stellte durch den entsprechenden Gegenstand PackageFactory zur Verfügung. Dieses verursachen Betrieb erfordert den Anrufer, die Werte für allen nicht-abgeleiteten Klassifikator-scoped zu liefern Attribute. Wenn die gelieferten Ausgangswerte nicht die korrekte Vielfältigkeit haben, oder wenn sie einzeln oder verletzen Sie zusammen die sofortigen Begrenzungen, die im metamodel definiert werden, der verursachenbetrieb sollte eine Ausnahme aufwerfen. Fälle der folgenden Gegenstände des Abhängigen M1-level werden automatisch entlang verursacht mit jedem M1-levelpaketgegenstand: ¥ ein M1-levelpaketgegenstand wird für jedes genistete Paket innerhalb verursacht äußerster Paketumfang.