März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-9 Semantik Mit 2 UML Wenn man die unterschiedlichen Techniken des UML-metamodel konstruierte, sind verwendet worden, zu spezifizieren Sprachkonstruieren mit einigen der Fähigkeiten von UML. Die Hauptsprache Konstruieren ist reified in metaclasses im metamodel. Anderes Konstruieren, im wesentlichen seiend Varianten von anderen, werden als Stereotypes von metaclasses in definiert metamodel. Diese Einheit läßt die Semantik des verschiedenen Konstruierens sein erheblich unterschiedlich zu den niedrigen metaclass. Eine andere mehr "kompakte" Weise von Varianten zu definieren soll metaattributes benutzen. Als Beispiel ist das Anhäufungskonstruieren spezifiziert durch ein Attribut der metaclass AssociationEnd, das verwendet wird, um anzuzeigen wenn eine Verbindung ist eine gewöhnliche Gesamtheit, eine zusammengesetzte Gesamtheit oder ein Common Verbindung. 2,3,2 PaketcSpezifikationscStruktur Dieser Abschnitt stellt Informationen für jedes Paket im UML-metamodel zur Verfügung. Jedes Paket hat einen oder mehr der folgenden Unterabschnitte. 2,3,2,1 Abstract syntax Die abstract syntax wird in einem UML-Kategoriendiagramm dargestellt, welches die metaclasses zeigt Definieren des Konstruierens und ihrer Verhältnisse. Das Diagramm stellt auch einiges von dar Wohlgeformtheitrichtlinien, hauptsächlich die Vielfältigkeitanforderungen der Verhältnisse und ob oder nicht die Fälle von einem bestimmtem Vor-konstruieren, müssen bestellt werden. Schließlich a kurze formlose Beschreibung in der natürlichen Sprache, die jedes Konstruieren beschreibt, wird geliefert. Der erste Punkt von jeder dieser Beschreibungen ist eine allgemeine Darstellung von konstruieren Sie, das den Kontext einstellt, während die folgenden Punkte das formlose geben Definition der metaclass, die das Konstruieren in UML spezifizieren. Für jedes metaclass, sein Attribute werden zusammen mit einer kurzen Erklärung aufgezählt. Ausserdem das Entgegengesetzte Rollennamen der Verbindungen, die an die metaclass angeschlossen werden, werden auch in der gleichen Weise verzeichnet. 2,3,2,2 WohlgeformtheitcRichtlinien Die statische Semantik von UML-metaclasses, außer Vielfältigkeit und der Einrichtung Begrenzungen, werden als Satz invariants eines Falls der metaclass definiert. (Anmerkung das wird metaclass angefordert, um keine invariants zu haben.), Diese invariants müssen erfüllt werden für das Konstruieren zum Sein sinnvoll. Die Richtlinien spezifizieren folglich Begrenzungsoverattribute und Verbindungen definiert im metamodel. Unveränderliches jedes wird durch einen OCL definiert Ausdruck zusammen mit einer formlosen Erklärung des Ausdruckes. In vielen Fällen zusätzliche Betriebe auf den metaclasses sind für die OCL-Ausdrücke erforderlich. Diese werden dann in einem unterschiedlichen Unterabschnitt nach den Wohlgeformtheitrichtlinien für definiert Konstruieren mit der gleichen Annäherung wie die abstract syntax: eine formlose Erklärung gefolgt vom OCL-Ausdruck, der den Betrieb definiert. 3. um die Beschreibung der UML-Semantik zu verstehen, müssen Sie einiges verstehen UML-Semantik.