Freitag, 10.02.2017

Verifikation von System- und Software-Architektur-Modellen mit OCL

Dr. Jens Zimmermann, Altran GmbH & Co. KG

Das Tutorial gibt eine Einführung in die Object Constraint Language und erläutert die Anwendungsmöglichkeiten im Bereich der System- und Software-Architekturen.

Die Einführung umfasst die Konzepte Meta-Modellierung, Domain Specific Languages und wesentliche Teile der Syntax der Object Constraint Language. Anhand von zwei verschiedenen Meta-Modellen (eines davon AUTOSAR) werden außerdem die Charakteristika der System- und Software-Architektur für Steuergeräte in der Automobilindustrie vorgestellt.

Abschließend wird die praktische Seite der Anwendung der Object Constraint Language thematisiert, wobei auch ihre Einschränkungen und Grenzen besprochen werden. Das Tutorial wird also abgerundet durch praxisnahe Tipps zu Werkzeuglösungen und Automatisierung von OCL-Checks (etwa die unproblematische Einbindung in einen Continuous Integration Server) und der kritischen Betrachtung, in welchen Fällen sich solche Checks lohnen im Hinblick auf alternative Implementierungsmöglichkeiten, z.B. in Java.