40 Angenommene Spezifikation UML Ocl 2,0 8,3 Das AusdruckscPaket Dieser Abschnitt definiert die abstract syntax des Ausdruckspakets. Dieses Paket definiert die Struktur, die OCL Ausdrücke können haben. Ein Überblick über die Erbschaft-Verhältnisse zwischen allen Kategorien, die in diesem Paket definiert werden, wird gezeigt in Tabelle 12 auf Seite 60 . 8,3,1 AusdruckscKern Tabelle 6 zeigt das Kernteil des Ausdruckspakets. Die grundlegende Struktur im Paket besteht aus den Kategorien OclExpression , PropertyCallExp und VariableExp . OclExpression hat immer eine Art, die normalerweise nicht ist ausdrücklich modelliert, aber abgeleitet. Jedes PropertyCallExp läßt genau eine Quelle, durch ein OclExpression kennzeichnen . Diesbezüglich Abschnitt verwenden wir die Bezeichnung ' Eigenschaft ', die eine Verallgemeinerung der Eigenschaft ist AssociationEnd und vorbestimmt, OCL wiederholend Ansammlungsbetriebe. Tabelle 6 - Die grundlegende Struktur des abstract syntax Kernmetamodel für Ausdrücke LiteralExp ModelPropertyCallExp ModelElement (vom Kern) - Name: Zeichenkette IteratorExp OclMessageExp IfExp IterateExp VariableExp PropertyCallExp Klassifikator (vom Kern) VariableDeclaration varName: Zeichenkette +result 1 +baseExp 0,,1 +referredVariable 1 0..n +typ 1 Ion OclExpress +source 0,,1 appliedProperty 0,,1 +initExpression 0,,1 +initalizedVariable 0,,1 +type 1 LoopExp +iterators 1..n +loopExpr 0,,1 +body 1 0,,1