Angenommene Spezifikation UML Ocl 2,0 65 Abstract syntax Diagramm VariableExpCS.ast: VariableExpression Synthetisierte Attribute VariableExpCS.ast.referredVariable = env.lookup(simpleNameCS.ast).referredElement.oclAsType(VariableDeclaration) Übernommene Attribute -- keine Disambiguierende Richtlinien [ 1 ] simpleName muß ein Name von einem sichtbaren VariableDeclaration im gegenwärtigen Klima sein. env.lookup (simpleNameCS.ast).referredElement.oclIsKindOf (VariableDeclaration) simpleNameCS Diese Produktionsrichtlinie stellt einen einzelnen Namen dar. Keine speziellen Richtlinien sind anwendbar. Die genaue Syntax einer Zeichenkette ist unbestimmt in UML 1,4 und im Remains undefined in OCL 2,0. Der Grund für dieses ist Internationalisierung. simpleNameCS::= < Zeichenkette > Abstract syntax Diagramm simpleNameGr.ast: Zeichenkette Synthetisierte Attribute simpleNameGr.ast = < Zeichenkette > Übernommene Attribute -- keine Disambiguierende Richtlinien -- keine pathNameCS Diese Richtlinie stellt einen Wegnamen dar, der in seinem ast gehalten wird als Reihenfolge der Zeichenketten. pathNameCS::= simpleNameCS ('::' pathNameCS)? Abstract syntax Diagramm pathNameCS.ast: Sequence(String) Synthetisierte Attribute pathNameCS.ast = Sequence{simpleNameCS.ast}->union(pathNameCS.ast) Übernommene Attribute -- keine