II Ocl Angenommene Spezifikation 7,5,4 Navigation zur Verbindung klassifiziert........................................................................ 18 7,5,5 Navigation von der Verbindung klassifiziert.................................................................... 19 7,5,6 Navigation durch qualifizierte Verbindungen............................................................ 20 7,5,7 Namen für Pakete............................................................................ 20 verwenden 7,5,8 Zugänglich machende überlaufene Eigenschaften von supertypes.................................................... 20 7,5,9 Vorbestimmte Eigenschaften auf allen Gegenständen..................................................................... 21 7,5,10 Eigenschaften auf Kategorien selbst....................................................................... 22 7,5,11 Ansammlungen........................................................................................................... 22 7,5,12 Ansammlungen Ansammlungen.................................................................................... 23 7,5,13 Ansammlungsarthierarchie und Artübereinstimmungrichtlinien.................................. 23 7,5,14 Vorhergehende Werte in Postconditions...................................................................... 24 7,5,15 Tuples ................................................................................................................. 25 7,6 AnsammlungscBetriebe........................................................................................ 25 7,6,1 Wählen Sie vor und weisen Sie Betriebe............................................................................... 25 zurück 7,6,2 Sammeln Sie Betrieb.................................................................................................. 27 7,6,3 Betrieb .................................................................................................... 28 ForAll 7,6,4 Besteht Betrieb.................................................................................................... 28 7,6,5 Wiederholen Sie Betrieb................................................................................................... 29 7,7 Anzeigen in OCL.............................................................................................. 29 7,7,1 Das Benennen von Betrieben und das Senden signalisiert................................................................. 29 7,7,2 Zugänglich machendes Resultat bewertet......................................................................................... 30 7,7,3 Ein Beispiel........................................................................................................... 31 7,8 Behebende Eigenschaften......................................................................................... 32 8 Abstract syntax............................................................................ 33 8,1 Einleitung ........................................................................................................ 33 8,2 Das ArtcPaket.......................................................................................... 33 8,2,1 Schreiben Sie Übereinstimmung................................................................................................ 35 8,2,2 Wohlgeformtheit ordnet für das Artpaket.................................................... 38 an 8,3 Die Ausdrücke Verpacken................................................................................. 40 8,3,1 Ausdrücke Entkernen.................................................................................................. 40 8,3,2 Vorbildliche Ausdrücke........................................................................... 44 PropertyCall 8,3,3 Wenn Ausdrücke........................................................................................................ 46 8,3,4 AnzeigencAusdrücke ........................................................................................... 46 8,3,5 Wörtliche Ausdrücke................................................................................................ 48 8,3,6 Lassen Sie Ausdrücke..................................................................................................... 50 8,3,7 Wohlgeformtheitrichtlinien der Ausdrücke verpacken............................................ 51 8,3,8 Zusätzliche Betriebe auf UML-metaclasses......................................................... 56 8,3,9 Zusätzliche Betriebe auf OCL-metaclasses......................................................... 58 8,3,10 Überblick über Kategorienhierarchie von OCL-abstract syntax metamodel....................... 60 Syntax........................................................................... 61 Des Betons 9 9,1 Struktur der konkreten Syntax...................................................................... 61 9,2 Eine Anmerkung zum Bearbeiten von Erbauern..................................................................................... 63 9,2,1 Satzgliederung .................................................................................................................. 63 9,2,2 Sicht ................................................................................................................. 63 9,3 Konkrete Syntax................................................................................................ 63 9,3,1 ............................................................................................................. kommentiert 89 9,3,2 Operatorenrangfolge ............................................................................................ 89 9,4 Klimadefinition....................................................................................... 89