April 2002 Omg-mof, v1.4: Berechnungssemantik für das IDL-Diagramm 5-23 5 ¥remove_<attr_name>_at - entfernt den niedrigen Artfall M1-level an bringen Sie gegeben in Position. Irgendwelche Fälle in der Ansammlung, die dem entfernten Fall folgen läßt ihre Positionsindizes um einen verringern (d.h., der Betrieb nicht lassen Sie eine Bohrung in der Attributansammlung). Diese fünf zusätzlichen Betriebe müssen die Beschränkungen auch respektieren, die oben für verzeichnet werden mehrfach bewertetes set_<attr_name > Betrieb. 5,3,6,4 Changeability und Derivedness Die vorhergehenden semantischen Beschreibungen nehmen an, daß das M2-levelattribut isChangeable hat stellen Sie ein, um auszurichten und isDerived Satz zu falschem. Dieser Unterabschnitt beschreibt, was wenn dieses geschieht nicht ist der Fall. Wenn ein Attribut isChangeable Satz zu falschem hat, ist der Effekt auf das IDL-Diagramm daß alle erzeugte Betriebe für die Aktualisierung des Zustandes des Attributes s werden unterdrückt. Dieses nicht schließen Sie das Bestehen anderer Einheiten für die Aktualisierung des Zustandes des Attributes s aus. Die Einstellung eines Attributes s isDerived Markierungsfahne, um auszurichten, hat keinen Effekt auf dem IDL-Diagramm. die Betriebe, die für die abgeleiteten und nicht-abgeleiteten Fälle erzeugt werden, sind gleichwertig und sie sind definiert, um gleichwertige Semantik zu haben. Wenn ein abgeleitete Betriebe des Attributes s vorbei kodiert werden Hand, ist es die Verantwortlichkeit des Programmierers s, sicherzugehen, daß sie angefordert einführen Semantik. 5,3,6,5 Klassifikator scoped Attribute Die vorhergehenden semantischen Beschreibungen nehmen an, daß das M2-levelattribut den Bereich hat, der auf eingestellt wird instance_level. Wenn ein Bereich des Attributes s classifier_level ist, können wir modellieren Begriffsrelation, die den M1-levelattributzustand als Relation zwischen definiert Kategorienumfang und das AttrType; sehen Sie Abschnitt 4,6,3, Bereich, auf Seite 4-7. In das IDL das Diagramm, dieses übersetzt zu einer Begriffsrelation zwischen einem Kategorienproxygegenstand und Fälle der niedrigen Art des Attributes s M1-level. Auf dieser Grundlage unterscheidet sich ein Attribut dessen Bereich ist, classifier_level von einem dessen Bereich ist instance_level im folgenden Respekt: ¥ die BegriffsRelation kategorienproxyAttrType liefert den Wert oder die Werte, die erreicht werden und aktualisiert durch classifier_level scoped Attributbetriebe. ¥, wenn das Attribut Anhäufungssemantik der Zusammensetzung hat: ¥ die Aufbauschliessenrichtlinie bedeutet daß der Kategorienproxygegenstand und das M1-level Attributwertfälle müssen dem gleichen Umfang gehören und das ¥, das auf Aufbauzyklen überprüft, ist nicht notwendig. Der Kategorienproxygegenstand, der hält das Attributvalue(s) ist nicht ein Fall und kann nicht ein Bestandteil diesbezüglich folglich sein Richtung. 5,3,6,6 Übernommene Attribute Die vorhergehenden semantischen Beschreibungen treffen in gleicher Weise den Attributen zu, die innerhalb eines M2- definiert werden waagerecht ausgerichtete Kategorie und Attribut übernommen von den supertypes der Kategorie.