Angenommene Spezifikation UML Ocl 2,0 33 8 Abstract syntax Dieser Abschnitt beschreibt die abstract syntax des OCL. In dieser abstract syntax eine Zahl von metaclasse vom UML metamodel werden importiert. Diese metaclasses werden in den Modellen mit der Anmerkung ' (< vom UML-Paket >) ' gezeigt und dargestellt mit einer transparant Füllefarbe. Alle metaclasses, die als Teil der OCL-abstract syntax definiert werden, werden mit einem hellgrauem gezeigt Hintergrund. 8,1 Einleitung Die abstract syntax als unten beschriebenes definiert die Konzepte, die ein Teil des OCL mit einem compliant metamodel MOF sind. Die abstract syntax wird in einige Pakete geteilt. ? Arten Paket beschreibt die Konzepte, die das Artsystem von OCL definieren. Es zeigt, welche Arten innen vorbestimmt werden Ocl und den Arten vom UML abgeleitet werden, modelliert. ? Ausdrücke Paket beschreibt die Struktur der OCL-Ausdrücke. 8,2 Das ArtcPaket Ocl ist eine geschriebene Sprache. Jeder Ausdruck hat eine Art, die entweder ausdrücklich erklärt wird oder kann statisch abgeleitet werden. Auswertung des Ausdruckes erbringt einen Wert dieser Art. Folglich bevor wir Ausdrücke definieren können, müssen wir zur Verfügung stellen ein Modell für das Konzept der Art. Ein metamodel für OCL-Arten wird in diesem Abschnitt gezeigt. Merken Sie daß Fälle der Kategorien im metamodel sind die Fälle der Arten selbst (z.B. Ganzzahl) nicht des Gebietes, das sie darstellen (z.B. -15, 0, 2, 3). Das Modell in Tabelle 5 zeigt die OCL-Arten. Die grundlegende Art ist der UML-Klassifikator, dem alle Formationsglieder von umfaßt Klassifikator von der UML-Infrastruktur. Im Modell sind das CollectionType und seine Unterklassen und das TupleType speziell. Ein der Dose instantiate nie alle Ansammlung Arten, weil es eine endlose Zahl gibt, besonders wenn genistete Ansammlungen im Konto genommen werden. Benutzer werden nie instantiate diese Arten ausdrücklich. Begrifflich bestehen alle diese Arten, aber solch eine Art sollte sein (lazily) instantiated durch a Werkzeug, wann immer es in einem Ausdruck benötigt wird. Im Vergleich mit UML 1,4 ist die Art OclType von der Arthierarchie entfernt worden. Dies heißt, daß ein Klassifikator ist nicht ein gültiger OCL-Ausdruck irgendwie mehr.