2-8 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend März 2003 Semantik Mit 2 UML ? die Korrektheit der Beschreibung wird verbessert, ?- Mehrdeutigkeiten und -unbeständigkeiten werden verringert, ? die Architektur des metamodel wird durch eine ergänzende Technik validiert und ? die Lesbarkeit der Beschreibung wird erhöht. Es ist wichtig, zu merken, daß die gegenwärtige Beschreibung nicht ein vollständig formales ist Spezifikation der Sprache, weil, so zu tun bedeutende Kompliziertheit addiert haben würde ohne freien Nutzen. Zusätzlich der Zustand der Praxis in den formalen Spezifikationen sprechen Sie nicht schon einige der schwierigeren Sprachpunkte an, die UML vorstellt. Die Struktur der Sprache wird dennoch eine exakte Spezifikation gegeben, die ist erfordert für Werkzeuginteroperabilität. Die dynamische Semantik sind das beschriebene Verwenden natürlich Sprache, obgleich in einer exakten Weise also in ihnen leicht verstanden werden kann. Z.Z. dynamische Semantik gelten nicht als wesentlich für die Entwicklung der Werkzeuge; jedoch dieses ändert vermutlich zukünftig. 2,3,1 Niveaus der Förmlichkeit Eine allgemeine Technik für Spezifikation von Sprachen ist zu zuerst definieren die Syntax von Sprache und seine statische und dynamische Semantik dann beschreiben. Die Syntax definiert in was Konstruieren in der Sprache besteht und wie ausgedrückt das Konstruieren aufgebaut wird anderes Konstruieren. Manchmal besonders wenn die Sprache eine graphische Syntax hat, ist es wichtig, die Syntax in einer unabhängigen Weise der Darstellung zu definieren d.h. zu definieren abstract syntax der Sprache. Die konkrete Syntax wird dann definiert, indem man abbildet Darstellung auf die abstract syntax. Die Syntax wird in der abstract syntax beschrieben Abschnitte. Die statische Semantik einer Sprache definieren, wie ein Fall eines Konstruierens sein sollte angeschlossen an andere Fälle, um sinnvoll zu sein und die dynamische Semantik definieren Sie Bedeutung eines Brunnen gebildeten Konstruierens. Die Bedeutung einer Beschreibung geschrieben in Sprache wird definiert, nur wenn die Beschreibung gut d.h. gebildet wird wenn sie die Richtlinien erfüllt definiert in der statischen Semantik. Die statische Semantik werden in den Abschnitten gefunden, die gut gevorangangen werden formedneßrichtlinien . Die dynamische Semantik werden unter der Überschrift beschrieben Semantik . In einigen Fällen werden die Teile der statischen Semantik auch in der Semantik erklärt Abschnitt für Vollständigkeit. Die Spezifikation verwendet eine Kombination von Sprachen - eine Teilmenge UML, ein Gegenstand Begrenzungssprache und exakte natürliche Sprache zum Beschreiben der abstract syntax und Semantik des vollen UML. Die Beschreibung ist selbständig; keine anderen Quellen von Informationen sind erforderlich, das Dokument 2 ^{zu lesen} . Obgleich dieses ein metacircular ist Beschreibung ³ dieses Dokument ist zu verstehen seit nur einer kleinen Teilmenge von praktisch UML-Konstruieren ist erforderlich, seine Semantik zu beschreiben. 2. Obgleich ein Erfassen der des UMLs vierlagigen metamodelarchitektur und sein zugrundeliegender Meta-metamodel-metamodel ist nützlich, es ist nicht wesentlich, die UML-Semantik zu verstehen.