2 Angenommene Spezifikation UML Ocl 2,0 3 Normative Hinweise Die folgenden normativen Dokumente enthalten Bestimmungen, die, durch Hinweis in diesem Text, Bestimmungen von diesem festsetzen Spezifikation. Als datierte Referenzen treffen folgende Änderungen auf oder Neuausgaben von, irgendwelchen dieser Publikationen nicht zu. ÜberbauSPEZIFIKATION Des ? UML 2,0 InfrastrukturSPEZIFIKATION Des ? UML 2,0 KernSPEZIFIKATION Des ? MOF 2,0 4 Bezeichnungen und Definitionen Die Zwecke dieser Spezifikation, beantragen die Bezeichnungen und die Definitionen, die in den normativen Hinweisen und im folgenden gegeben werden. Redaktionelle Anmerkung: Notwendigkeiten durchgeführt zu werden (oder vielleicht beseitigt worden). 5 Symbols Liste von symbols/abbreviations. Redaktionelle Anmerkung: Notwendigkeiten durchgeführt zu werden (oder vielleicht beseitigt worden). 6 Zusätzliche Informationen 6,1 Ändert zu angenommenen OMG-Spezifikationen Diese Spezifikation ersetzt die Spezifikation von OCL gegeben in UML 1,4,1 und in UML 1,5. 6,2 Struktur der Spezifikation Das Dokument wird in einige Kapitel geteilt. Das OCL-Sprachbeschreibungskapitel gibt eine formlose Beschreibung von OCL in der Art, die im UML verwendet worden ist 1,1 bis 1,4. Dieser Abschnitt ist nicht normativ, aber bedeutet, erläuternd zu sein. Kapitel 8 ("abstract syntax") beschreibt die abstract syntax von OCL mit einem compliant metamodel MOF 2,0. Dieses ist die gleiche Annäherung wie im UML 1,4 und andere Unterordnungen UML 2,0 verwendet. Das metamodel ist MOF 2,0, das in compliant ist fragen Sie ab, daß es nur Konstruieren benutzt, das im MOF 2,0 definiert werden. Kapitel 9 ("konkrete Syntax") beschreibt die kanonische konkrete Syntax mit einer zugeschriebenen EBNF-Grammatik. Diese Syntax ist abgebildet auf die abstract syntax, eine komplette Trennung zwischen Beton und abstract syntax erzielend. Kapitel 10 ("die Semantik mit UML beschrieben") beschreibt die Semantik für OCL mit UML.