Übersicht Inhaltsverzeichnis Vorwort 1 Einführung 2 Klassendiagramme 3 Object Constraint Language 3.1 Übersicht über OCL/P 3.2 Die OCL-Logik 3.3 Container-Datenstrukturen 3.4 Funktionen in OCL 3.5 Ausdrucksmächtigkeit der OCL 3.6 Zusammenfassung 4 Objektdiagramme 5 Statecharts 6 Sequenzdiagramme A Sprachdarstellung durch Syntaxklassendiagramme B Java C Die Syntax der UML/P D Anwendungsbeispiel: Internet-basiertes Auktionssystem Literatur |
3.6 ZusammenfassungIn diesem Abschnitt wurde die OCL/P als Integration des OCL-Standards aus [OMG10b] und der Programmiersprache Java vorgestellt. Dabei wurden semantische Anpassungen der Logik und syntaktische Modifikationen des Aussehens von OCL vorgenommen. Zusätzlich wurden Elemente funktionaler Sprachen wie Gofer [Jon96] integriert, um einen eleganten Umgang mit Mengen und Listen zu erreichen. Speziell die erweiterten Möglichkeiten zur eigenschaftsorientierten Definition von Containern bieten deutliche Eleganz bei der Formulierung von Bedingungen. Die modifizierte Form der OCL stellt eine solide Grundlage für die weiteren Kapitel dar. Sie kann zur Generierung von Tests genauso eingesetzt werden, wie zur Beschreibung von Funktionen und Aktionen in Statecharts.
|
|||||||||