4-10 Allgemeines Lager Metamodel, v1.1 März 2003 4 Begrenzungen Eine Begrenzung kann nicht an sich angewendet werden. [ C-3-1 ] 4,3,2,6 DataType Eine Datenart ist eine Art deren Werte keine Identität haben; das heißt, sind sie reine Werte. Daten Arten umfassen ursprüngliche eingebaute Arten (wie Ganzzahl und Zeichenkette) sowie definierbar Aufzählungarten. Im metamodel definiert ein DataType eine spezielle Art Klassifikator, in der Betriebe sind alle reine Funktionen; das heißt, können sie Datenwerte zurückbringen, aber sie können nicht Daten ändern Werte, weil sie keine Identität haben. Z.B. "fügen Sie" Betrieb auf einer Zahl hinzu mit einer anderen Zahl als Argument erbringt eine dritte Zahl infolgedessen; das Ziel und Argument sind unverändert. Ein DataType ist eine spezielle Art Klassifikator dessen Fälle ursprüngliche Werte sind, nicht Gegenstände. Z.B. werden Ganzzahlen und Zeichenketten normalerweise als ursprüngliche Werte behandelt. A ursprünglicher Wert hat nicht eine Identität, also kann zwei Auftreten des gleichen Wertes nicht seien unterschieden Sie. Normalerweise werden DataTypes für Spezifikation der Art von verwendet Attribut oder Parameter. Superclasses Klassifikator Begrenzungen Ein DataType kann kein anderes ModelElements enthalten. [ C-3-2 ] 4,3,2,7 Abhängigkeit Eine Abhängigkeit gibt daß die Implementierung oder das Arbeiten von einem oder mehr Elementen an erfordert das Vorhandensein von einem oder von mehr andere Elemente. Im metamodel ist eine Abhängigkeit ein verwiesenes Verhältnis von einem Klienten (oder von den Klienten) zu a Lieferant (oder Lieferanten), die angeben, daß der Klient vom Lieferanten abhängig ist; das heißt, Klientenelement erfordert das Vorhandensein und das Wissen des Lieferantenelements. Eine Abhängigkeit spezifiziert, daß die Semantik eines Satzes vorbildlicher Elemente erfordert Vorhandensein eines anderen Satzes vorbildlicher Elemente. Dieses deutet das an, wenn die Quelle irgendwie ist geändert, müssen die Abhängigen vermutlich geändert werden. Der Grund für die Abhängigkeit kann in einigen unterschiedlichen Weisen spezifiziert werden (zum Beispiel mit natürlicher Sprache oder Algorithmus) aber ist häufig implizit. Wann immer das Lieferantenelement einer Abhängigkeit ändert, ist das Klientenelement möglicherweise ungültig erklärt. Nach solcher Annullierung sollte eine Überprüfung durchgeführt werden folgte durch mögliche Änderungen am abgeleiteten Klientenelement. Solch eine Überprüfung sollte durchgeführt werden nachdem können Maßnahmen ergriffen werden, um das abgeleitete Element zu ändern, um es wieder zu validieren.