Angenommene Spezifikation UML Ocl 2,0 61 9 Konkrete Syntax Dieser Abschnitt beschreibt die konkrete Syntax des OCL. Dieses läßt modelers OCL-Ausdrücke in a notieren standardisierte Weise. Ein formales Diagramm von der konkreten Syntax zur abstract syntax von Kapitel 8 ("abstract syntax") wird gegeben. Obgleich erfordert nicht durch das UML 2,0 für OCL RFP, Abschnitt 9,6 beschreibt ein Diagramm von der abstract syntax zur konkreten Syntax. Dieses läßt ein eine menschliche lesbare Standardversion jedes möglichen OCL-Ausdruckes produzieren, der ist dargestellt als Fall der abstract syntax. Abschnitt 9,1 ("Struktur der konkreten Syntax") beschreibt die Struktur der Grammatik und des Beweggrundes für den Gebrauch eine Attributgrammatik. 9,1 Struktur der konkreten Syntax Die konkrete Syntax von OCL wird in Form von eine volle Attributgrammatik beschrieben. Jede Produktion in einem Attribut Grammatik kann die Attribute synthetisiert haben, die zu ihr angebracht werden. Der Wert der synthetisierten Attribute der Elemente auf der linken Hand Seite einer Produktionsrichtlinie wird immer von den Attributen der Elemente an der rechten Seite dieser Produktionsrichtlinie abgeleitet. Jedes Produktion kann die Attribute auch übernommen haben, die zu ihr angebracht werden. Der Wert der übernommenen Attribute der Elemente auf dem Recht Handseite einer Produktionsrichtlinie wird immer von den Attributen der Elemente auf der linken Seite dieser Produktion abgeleitet. In der Attributgrammatik, die die konkrete Syntax spezifiziert, wird jede Produktionsrichtlinie mit der EBNF-Förmlichkeit bezeichnet und kommentiert mit den synthetisierten und übernommenen Attributen und den disambiguierenden Richtlinien. Es gibt eine Anzahl von speziellem Anmerkungen: Synthetisierte Attribute. Jede Produktionsrichtlinie hat ein synthetisiertes benanntes Attribut ast (kurz für abstract syntax Baum), dieses Einflüsse der Fall der OCL-abstract syntax, die durch die Richtlinie zurückgebracht wird. Die Art von ast ist für jede Richtlinie unterschiedlich, aber es ist immer ein Element der abstract syntax. Die Art wird mit jeder Produktionsrichtlinie unter der Überschrift "Auszug angegeben Abbildende Syntax ". Das ast Attribut setzt das formale Diagramm von der konkreten Syntax zur abstract syntax fest. Der Beweggrund für den Gebrauch von einer Attributgrammatik ist die Leichtigkeit des Aufbaus und der Klarheit dieses Diagramms. Merken Sie, daß jeder Name im EBNF-Format der Produktionsrichtlinie mit ' CS postfixed, um zwischen offenbar zu unterscheiden konkrete Syntaxelemente und ihre abstract syntax Gegenstücke. Übernommene Attribute. Jede Produktionsrichtlinie hat ein übernommenes benanntes Attribut env (kurz für das Klima), dieses Einflüsse a Liste der Namen, die vom Ausdruck sichtbar sind. Alle Namen sind Hinweise auf Elementen im Modell. Tatsächlich env ist a Namensraumklima für den Ausdruck oder das Ausdrucksteil bezeichnet entsprechend der Produktionsrichtlinie. Die Art von env Attribut ist Klima, wie innen gezeigt Tabelle 13 auf Seite 62 . Eine Anzahl von Betrieben werden für diese Art definiert. Ihr Definitionen und mehr Details über die Klimaart können in Abschnitt 9,4 ("Klimadefinition") gefunden werden . Die Weise in welchem beide das ast und env Attribute werden, wird gegeben mit OCL-Ausdrücken festgestellt. Merken Sie daß der Inhalt des env Attribut werden völlig durch den Kontext des OCL-Ausdruckes festgestellt. Wenn ein OCL Ausdruck wird als unveränderliches verwendet, um X zu klassifizieren, sein Klima ist unterschiedlich, als im Fall der Ausdruck als a verwendet wird postcondition zu einem Betrieb der Kategorie Y. In Chapter 12 ("der Gebrauch von Ocl-Ausdrücken in UML modelliert"), der Kontext von Ocl-Ausdrücke wird im Detail definiert. Mehrfache Produktionsrichtlinien. Für einige Elemente gibt es eine Wahl der mehrfachen Produktionsrichtlinien. In diesem Fall das EBNF Format jeder Produktionsrichtlinie wird durch einen Großbuchstaben zwischen eckigen Klammern vorgesetzt. Das gleiche Präfix wird für verwendet entsprechende Ermittlungsrichtlinien für das ast und env Attribute.