Freie Universität Berlin, Fachbereich Mathematik und Informatik
Institut für Informatik

Vortrag des Informatik-Kolloquiums

In diesem Vortrag wird eine Übersicht über den Stand der Technik zum praktischen Einsatz der Object Constraint Language (OCL) in der Softwareentwicklung gegeben. Die OCL ist Bestandteil des Industriestandards UML (Unified Modeling Language) und kann unter anderem zur präzisen Spezifikation von Software mittels Invarianten und Vor- und Nachbedingungen verwendet werden.
Nach einer kurzen Einführung in die OCL wird auf existierende prototypische Unterstützungswerkzeuge eingegangen, insbesondere das System "USE" der Universität Bremen und das "OCL Toolset" der TU Dresden, das Compiler nach Java und SQL enthält. Es werden erste Erfahrungen aus Projekten in Industrie-Kooperation dargestellt. Abschließend befasst sich der Vortrag mit Trends der Weiterentwicklung von OCL im Kontext der Version 2.0 von UML, soweit sie derzeit aus der aktiven Mitarbeit des Vortragenden an der Überarbeitung von OCL erkennbar sind.