März 2003 Omg-cwm, v1.1: Kern Metamodel 4-9 4 4,3,2,5 Begrenzung Eine Begrenzung ist eine semantische Bedingung oder eine Beschränkung, die im Text ausgedrückt wird. Im metamodel ist eine Begrenzung ein BooleanExpression auf einem dazugehörigen ModelElement(s), das für das gut zu bildende Modell zutreffend sein muß. Diese Beschränkung kann angegeben werden in der natürlichen Sprache, oder in den unterschiedlichen Arten von Sprachen mit dem definierten worden Brunnen Semantik. Bestimmte Begrenzungen werden vorbestimmt, andere können der definierte Benutzer sein. Merken Sie daß a Begrenzung ist eine Behauptung, nicht eine vollziehbare Einheit. Die Spezifikation wird als Ausdruck in eine gekennzeichnete Begrenzungssprache geschrieben. Sprache kann für Schreibensbegrenzungen (wie OCL), a besonders bestimmt werden Programmiersprache, mathematische Darstellung oder natürliche Sprache. Wenn Begrenzungen sind , verstehen durch ein vorbildliches Herausgeberwerkzeug erzwungen zu werden, dann muß das Werkzeug die Syntax und Semantik der Begrenzungssprache. Weil die Wahl der Sprache willkürlich ist, Begrenzungen können als Verlängerungseinheit verwendet werden. Das Begrenzungskonzept erlaubt, daß neue Semantik linguistisch für ein Modell spezifiziert wird Element. Im metamodel beschreibt eine Begrenzung, die direkt zu einem ModelElement angebracht wird semantische Beschränkungen, die dieses ModelElement befolgen muß. Superclasses ModelElement Attribute Körper Hinweise constrainedElement Ein BooleanExpression, das zutreffend sein muß, wenn es für einen Fall eines Systems ausgewertet wird, um gut zu sein gebildet. Ein Boolescher Ausdruck, der die Begrenzung definiert. Ausdrücke werden als Zeichenketten in a geschrieben gekennzeichnete Sprache. Damit das Modell gut gebildet werden kann, der Ausdruck muß ein zutreffendes immer erbringen Wert, wenn Sie jederzeit für Fälle der begrenzten Elemente ausgewertet werden, wenn das System ist beständig; das heißt, nicht während der Durchführung eines Atombetriebes. Art: BooleanExpression Vielfältigkeit: ein genau Ein ModelElement oder eine Liste von ModelElements beeinflußt durch die Begrenzung. Kategorie: ModelElement vorbei definiert: ElementConstraint::constrainedElement Vielfältigkeit: null oder mehr Gegenteil: ModelElement::constraint