März 2003 OMG-Vereinheitlicht, Sprache, v1.5 Modellierend 2-3 Semantik Mit 2 UML Dieser Abschnitt spezifiziert Semantik für die strukturellen und Verhaltensgegenstandmodelle. Strukturell die Modelle (auch bekannt als statische Modelle) heben die Struktur der Gegenstände in einem System hervor, einschließlich ihrer Kategorien, Schnittstellen, Attribute und Relationen. Verhaltensmodelle (auch bekannt als dynamische Modelle) heben Sie das Verhalten der Gegenstände in einem System hervor und umfassen ihre Methoden, Abhängigkeiten, collaborations und Zustandgeschichten. Dieser Abschnitt stellt komplette Semantik für alle modellierenden Darstellungen zur Verfügung, die in beschrieben werden UML-DarstellungscFührer (Kapitel 3). Dieses umfaßt Unterstützung für eine breite Strecke des Diagramms Techniken: klassifizieren Sie Diagramm, wenden Sie Diagramm, Gebrauchfalldiagramm, Relaisdiagramm ein, Zusammenarbeitsdiagramm, Zustandsdiagramm, Tätigkeitsdiagramm und Entwicklungdiagramm. UML-Darstellungsführer umfaßt eine Zusammenfassung der Semantikabschnitte, denen zu relevant seien Sie jede Diagrammtechnik. 2,1,2 Annäherung Dieser Abschnitt hebt Spracharchitektur und formale Härte hervor. Die Architektur von UML basiert auf einer vierlagigen metamodelstruktur, die aus dem folgenden besteht Schichten: Benutzergegenstände, -modell, -metamodel und -Meta-metamodel-metamodel. Dieses Dokument ist hauptsächlich betroffen mit der metamodelschicht, die ein Fall des Meta- ist metamodelschicht. Z.B. ist Kategorie im metamodel ein Fall von MetaClass innen der Meta-metamodel-metamodel. Die metamodelarchitektur von UML wird weiter innen besprochen Abschnitt 2,2, "Spracharchitektur," auf Seite 2-4. Das UML-metamodel ist ein logisches Modell und nicht ein körperliches (oder Implementierung) Modell. Der Vorteil eines logischen metamodel ist, daß er feststellende Semantik hervorhebt, und unterdrückt Implementierungsdetails. Implementierungen, die das logische metamodel benutzen muß an seine Semantik sich anpassen, und muß in der LageSEIN, sowie voll zu importieren und zu exportieren teilweise Modelle. Jedoch können Werkzeugverkäufer das logische metamodel in verschiedenem konstruieren Weisen, also sie können ihre Implementierungen für Zuverlässigkeit und Leistung abstimmen. Nachteil eines logischen Modells ist, daß er die zwingende Semantik ermangelt, die für angefordert wird genaue und leistungsfähige Implementierung. Infolgedessen wird das metamodel begleitet mit Implementierungsanmerkungen für Werkzeugerbauer. UML wird auch innerhalb der metamodelschicht strukturiert. Die Sprache wird in zerlegt einige logische Pakete: Grundlage, Verhaltenselemente und vorbildliches Management. Diese Pakete der Reihe nach werden in Subpackages zerlegt. Z.B. die Grundlage Paket besteht aus dem Kern, den Verlängerungseinheiten und den Datenartsubpackages. Die Struktur der Sprache wird völlig in Abschnitt 2,2, "Sprache beschrieben Architektur, "auf Seite 2-4. Das metamodel wird in einer semi-formal Weise mit diesen Ansichten beschrieben: ?- abstract syntax ?- Wohlgeformtheitrichtlinien ?- Semantik Die abstract syntax wird wie ein Modell zur Verfügung gestellt, das in einer Teilmenge UML beschrieben wird und aus besteht ein UML-Kategoriendiagramm und eine stützende Beschreibung der natürlichen Sprache. (auf diese Art UML lädt sich in gewissem Sinne ähnlich das Urprogramm, wie ein Compiler benutzt wird, um sich zu kompilieren.), Die Wohlgeformtheitrichtlinien werden mit einer formalen Sprache zur Verfügung gestellt (Gegenstandbegrenzung