Object Constraint Language - Softwarearchitektur online

7

Softwarearchitektur (Fach) / Object Constraint Language (Lektion)

VL04

Diese Lektion wurde von jan_kirsch erstellt.

Diese Lektion ist leider nicht zum lernen freigegeben.

Vorteile Formaler Spezifikation Präzise erlaubt Automatische Analyse
OCL - Constraints Arten Invarianten Pre- und Post Bedingungen für Methoden Guards Werte bei Initialisierung
OCL - Motivation Formal, präzise, eindeutig große Zielgruppe, einfach verwendbar Werkzeugunterstützung nicht ausführbar
OCL - Context Definiert Namen und Signaturen, die in einem Constraint verwendet werden können. -> Klassen, Methoden, Attribute
Init Constraint: Bedingungen, die bei Erzeugen von Objekten gelten müssen
Substitutionsprinzip mit OCL B kann nur durch A ersetzt werden, wenn... provided Interfaces von A <= Bs - As pre conditions haben Bs pre conditions zur Folge - Bs post conditions haben As post conditions zur Folge required Interfaces von B <= As - Das gleiche nur anderes herum
Wie hilft OCL bei der Softwarearchitektur OCL definiert das beobachtbare Verhalten von Komponenten-Interfaces schafft so Klarheit