Studienarbeit aus dem Jahr 2011 im Fachbereich Informatik - Programmierung Note: 10 Eberhard-Karls-Universität Tübingen Sprache: Deutsch Abstract: 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.