April 2002 Omg-mof, v1.4: Semantik der Gleichheit für MOF-Werte 4-3 4 ¥ das Artdoppelte ist das subrange der rationalen Zahlen deren Werte IEEE 764 sind Gleitkommazahlen der doppelten Genauigkeit. ¥ die Artzeichenkette ist der Satz aller möglichen begrenzten Längenreihenfolgen des UTF16 Buchstaben (ausschließlich des NUL oder des nullbuchstabens). ¥ eine Aufzählungart ist der Satz der Aufkleber oder der Zähler EnumerationType. Strukturart des ¥ A ist der Satz aller Tuples deren Feldwerte Mitglieder der Arten sind vom StructureType s jeweiliges StructureFields. Ansammlungß$+0art des ¥ A ist der Satz aller Ansammlungen der Art CollectionType s, begrenzt entsprechend der Vielfältigkeit CollectionType s. ¥ eine Namensabkürzungsart ist eine Teilmenge der Art AliasType s. Anmerkung -- jedes MOF-Technologiediagramm muß ein Diagramm vom Standard definieren MOF-Technologienulldatenarten zu einer konkreten Art so daß jeder Wert in Wertgebiet hat eine eindeutige Darstellung mit der konkreten Art. Eine Technologie Diagramm, das nicht alle Datenarten stützt oder das sie in einer Weise das abbildet verliert Informationen ist unzulässig . Es ist nicht möglich, die Sätze der Werte zu definieren, die gebürtiges eintippt eine Technologie enthalten unabhängige Weise. 4,4 Semantik der Gleichheit für MOF-Werte Viel des Details des MOF-Berechnungsmodells hängt von einem Begriff der Gleichheit ab von den Werten. Z.B. kopiert die exakte Formulierung des Nr. Richtlinie für Bindeelementenmengen hängt von einer Definition für ab, was es bedeutet, damit Gegenstandartfälle gleich sind. Gleichheit der MOF-Werte wird definiert, wie folgt: 1. Fälle der Kategorien sind wenn gleich und nur wenn sie die gleiche Identität haben. Gleichheit nicht ziehen Sie in Betracht die Werte der Attribute für die Fälle oder die Verbindungen Mit.einbeziehen der Fälle. Der ungültige Kategorienfall ist sich nur gleich. 2. Werte aller MOF-Datenarten sind unvergleichbar, wenn sie nicht die gleiche Art haben. 3. Werte der ursprünglichen Datenstandardarten MOF sind wenn gleich und nur wenn sie bezeichnen das gleiche Element des Satzes, der die ursprüngliche Art definiert. 4. Werte der MOF-Aufzählung-Datenarten sind wenn gleich und nur wenn sie dasselbe bezeichnen Zähler. 5. Werte der MOF-Ansammlungs-Datenarten sind wenn gleich und nur wenn sie dasselbe haben Zahl der Elemente. Für einen Beutel oder einen Satz muß es eine Korrespondenz 1-for-1 geben zwischen den Ansammlungselementen so, daß die entsprechenden Elemente gleich sind entsprechend diesen Richtlinien. Für eine Liste oder einen bestellten Satz die Elemente in jeder Position in der Ansammlung muß entsprechend diesen Richtlinien gleich sein. 6. Werte der MOF-Strukturarten sind wenn gleich und nur wenn sie die gleiche Art haben und die entsprechenden Strukturfelder sind entsprechend diesen Richtlinien gleich.