Angenommene Spezifikation UML Ocl 2,0 63 ? ein Attribut mit dem Namen a resultierend in einem AttributeCallExp, ? oder ein gegenüberliegendes Verbindung-Ende mit dem Namen a resultierend in einem NavigationCallExp, ? definiert die Bedeutung von a.b(). ? , wenn kein vom oben genannten zutreffend ist, der Ausdruck ist ungültig/falsch und kann nicht analysiert werden. Disambiguierende Richtlinien können auf dem UML-Modell basieren, zu dem das OCL-expresion angebracht wird (z.B. tut ein Attribut bestehen Sie oder nicht). Wegen dieses muß das UML-Modell vorhanden sein, wenn ein OCL-Ausdruck analysiert wird, andernfalls kann er nicht seien als korrekter Ausdruck validiert Sie. Die Grammatik wird strukturiert, so daß höchstens eine der Produktionsrichtlinien wird fullfil alle disambiguierenden Richtlinien, so sicherstellend, daß die Grammatik als Ganzes eindeutig ist. Die disambiguierenden Richtlinien werden in OCL geschrieben und einige metaclasses und zusätzliche Betriebe von der Semantik UML 1,4 verwenden. 9,2 Eine Anmerkung zum Bearbeiten der Erbauer 9,2,1 Satzgliederung Die Grammatik in diesem Kapitel konnte nicht sein die leistungsfähigste Weise, ein Werkzeug direkt zu konstruieren. Selbstverständlich ein Werkzeug Erbauer ist frei, ein anderes Satzgliederungsmechnism zu verwenden. Er kann z.B. einen OCL-Ausdruck mit einem speziellen Beton zuerst analysieren Syntaxbaum und tun die semantische Gültigkeitserklärung gegen ein UML-Modell in einem zweiten Durchlauf. Auch Fehlerkorrektion oder Syntax das verwiesene Redigieren konnte Hand-optimierte Grammatiken benötigen. Dieses Dokument schreibt keine spezifische Satzgliederungsannäherung vor. Die einzige Beschränkung ist die am Ende von ein Werkzeug ganz verarbeiten sollte in der LageSEIN, den gleichen wohlgeformten Fall von zu produzieren die abstract syntax, wie durch diese Grammatik produziert würde. 9,2,2 Sicht Die OCL-Spezifikation setzt keine Beschränkungen auf Sicht. In OCL gelten alle modelelements als sichtbar. Der Grund für dieses soll ein modeler die Begrenzungen spezifizieren lassen, die zwischen ' versteckten ' Elementen gleichmäßig sind. Auf dem niedrigsten Implementierungsniveau dieses konnte nützlich sein. Während Werkzeuge eines unterschiedliche Wahlocl erzwingen können, ordnet alle UML-Sicht an, um die nur zu spezifizierenden OCL-Ausdrücke zu stützen sichtbare übermäßigmodelelements. Besonders wenn ein Werkzeug Code für Laufzeitauswertung der OCL-Ausdrücke erzeugen muß, diese Sichtdurchführung ist notwendig. 9,3 Konkrete Syntax ExpressionInOclCS Das Symbol ExpressionInOcl ist addiert worden, um das Ausgangsklima eines Ausdruckes zu gründen. ExpressionInOclCS::= OclExpressionCS Abstract syntax Diagramm ExpressionInOclCS.ast: OclExpression Synthetisierte Attribute ExpressionInOclCS.ast = OclExpressionCS.ast