2-32 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend März 2003 Semantik Mit 2 UML Semantik. Bestimmte Begrenzungen werden im UML vorbestimmt, andere können der definierte Benutzer sein. Merken Sie daß eine Begrenzung ist eine Behauptung, nicht eine vollziehbare Einheit. Sie zeigt a an Beschränkung, die durch korrektes Design eines Systems erzwungen werden muß. Attribute Verbindungen Stereotypes 2,5,2,14 DataType Eine Datenart ist eine Art deren Werte keine Identität haben (d.h., sie sind reine Werte). Daten Arten umfassen ursprüngliche eingebaute Arten (wie Ganzzahl und Zeichenkette) sowie definierbar Aufzählung schreibt (wie die vorbestimmte Aufzählungart Boolesch deren Druckfehler sind falsch und zutreffend). Im metamodel definiert ein DataType eine spezielle Art Klassifikator, in der Betriebe sind alle reine Funktionen (d.h., sie können DataValues zurückbringen, aber sie können nicht ändern DataValues, weil sie keine Identität haben). Z.B. "fügen Sie" Betrieb auf a hinzu Zahl mit einer anderen Zahl als Argument erbringt eine dritte Zahl infolgedessen; Ziel und Argument sind unverändert. Übernommene Eigenschaften DataType übernimmt Eigenschaften, wie im Klassifikator spezifiziert. Körper Ein BooleanExpression, deren zutreffend sein muß, wenn Sie für Fall ausgewertet werden ein gut zu bildendes System. constrainedElement Ein ModelElement oder eine Liste von ModelElements beeinflußt durch die Begrenzung. Wenn das begrenzte Element ein Stereotype ist, dann trifft die Begrenzung zu zu allem ModelElements, das den Stereotype verwenden. "unveränderlich" Kategorie Spezifiziert eine Begrenzung, die zu einem Satz Klassifikatoren angebracht werden muß oder Verhältnisse. Sie zeigt an, daß die Bedingungen der Begrenzung müssen halten Sie Überzeit (während des Zeitabschnitts des Interesses in der Einzelheit Element) für die Klassifikatoren oder die Verhältnisse enthalten und ihr Fälle. "postcondition" Kategorie Spezifiziert eine Begrenzung, die zu einem Betrieb angebracht werden muß, und bezeichnet, daß die Bedingungen der Begrenzung nach halten müssen Anforderung des Betriebes. "Vorbedingung" Kategorie Spezifiziert eine Begrenzung, die zu einem Betrieb angebracht werden muß, und bezeichnet, daß die Bedingungen der Begrenzung für halten müssen Anforderung des Betriebes. "stateInvariant" Kategorie Spezifiziert eine Begrenzung, die zu einem Zustandgipfel in einem Zustand angebracht werden muß bearbeiten Sie, das einen Klassifikator für einen Kontext hat. Der Stereotype zeigt an daß die Begrenzung für Fälle des Klassifikators wenn hält Fall ist in diesem Zustand.