OCL - Die Object Constraint Language

Research Paper (undergraduate) , 2011 , 29 Pages , Grade: 1,0

Computer Science - Programming

Die Object Constraint Language (OCL) ist ein wichtiger Bestandteil der Unified Modeling Language (UML). In OCL können Constraints definiert werden, die Attribute und Operationen von UML-Klassendiagrammen spezifizieren. So gibt es zum einen die Invarianten, die für ein Objekt einer Klasse während dessen gesamter Lebenszeit gelten müssen und zum anderen die Pre- und Postconditions, die immer zu Beginn bzw. am Ende einer Operationsausführung gelten müssen.

Inhaltsverzeichnis

OCL - Die Object Constraint Language

Steffen Hildebrandt

1 Einführung
1.1 Was UML kann
1.2 Was UML fehlt
1.3 Einführungsbeispiel
1.4 Allgemeines zu OCL

2 Formale Grundlagen
2.1 Objektmodelle
2.2 Systemzustände

3 Ausdrücke in OCL
3.1 OCL-Datentypen
3.2 Operationen auf Basistypen
3.3 Operationen auf Collection-Typen

4 Die Sprache OCL
4.1 Allgemeines
4.2 Invarianten
Syntax
Beispiele
4.3 Preconditions
Syntax
Beispiele
4.4 Postconditions
Syntax
Beispiele

5 Arbeiten mit OCL
5.1 Anwendung von OCL
5.2 Allgemeines
5.3 Dresden OCL

6 Fazit
6.1 Einordnung in das Thema Knowledge Representation and
Reasoning
6.2 Grenzen von OCL
6.3 Bewertung

A Großes Beispiel zu OCL
A.1 Person
A.2 Spieler
A.3 Verein
A.4 Vertrag
A.5 Datum
A.6 Spiel
Die Object Constraint Language
A.7 Beispiel für die ModelInstanceProviderClass in DresdenOCL

• College: University of Tubingen
• Grade: 1,0
• Author: Steffen Hildebrandt (Author)
• Publication Year: 2011
• Pages: 29
• Catalog Number: V174670
• ISBN (eBook): 9783640955299
• ISBN (Book): 9783640955558
• Language: German
• Tags: OCL, Object Constraint Language, Invarianten, Preconditions, Postconditions, Dresden OCL