Ocl Angenommene Spezifikation I Inhaltsverzeichnis 1 Bereich............................................................................................. 1 2 Übereinstimmung.................................................................................. 1 3 Normative Hinweise.................................................................... 2 4 Bezeichnungen und Definitionen..................................................................... 2 5 Symbole.......................................................................................... 2 6 Zusätzliche Informationen..................................................................... 2 6,1 Ändert zu angenommenen OMG-Spezifikationen........................................................... 2 6,2 Struktur der Spezifikation............................................................................... 2 6,3 Bestätigungen ............................................................................................. 3 7 Ocl SprachcBeschreibung............................................................ 5 7,1 Warum Ocl? ........................................................................................................... 5 7,1,1 Wo man OCL.................................................................................................. verwendet 5 7,2 Einleitung ......................................................................................................... 6 7,2,1 Legende .................................................................................................................... 6 7,2,2 BeispielcKategoriencDiagramm .......................................................................................... 6 7,3 Relation zum UML Metamodel.......................................................................... 7 7,3,1 Selbst .......................................................................................................................... 7 7,3,2 Den UML-Kontext.................................................................................... 7 spezifizieren 7,3,3 Invariants ................................................................................................................ 8 7,3,4 Vor und Postconditions.......................................................................................... 8 7,3,5 PaketcKontext ..................................................................................................... 9 7,3,6 BetriebscKörpercAusdruck .................................................................................... 9 7,3,7 Ausgangs- und abgeleitete Werte....................................................................................... 9 7,3,8 Andere Arten Ausdrücke.................................................................................. 10 7,4 Grundlegende Werte und Arten.................................................................................... 10 7,4,1 Arten vom UML-Modell................................................................................... 11 7,4,2 Aufzählung Schreibt............................................................................................... 11 7,4,3 Lassen Sie Ausdrücke..................................................................................................... 11 7,4,4 Zusätzliches operations/attributes durch "Definitions" Ausdrücke........................ 11 7,4,5 Schreiben Sie Übereinstimmung................................................................................................ 12 7,4,6 Neutippen oder............................................................................................. 13 werfend 7,4,7 VorausgehencRichtlinien ................................................................................................. 13 7,4,8 Gebrauch Infix-Operatoren........................................................................................... 14 7,4,9 Schlüsselwörter .............................................................................................................. 14 7,4,10 Anmerkung ............................................................................................................. 14 7,5 Gegenstände und Eigenschaften...................................................................................... 15 7,5,1 Eigenschaften: Attribute............................................................................................. 15 7,5,2 Eigenschaften: Betriebe.......................................................................................... 16 7,5,3 Eigenschaften: AssociationEnds und Navigation....................................................... 17