Softwarearchitektur (Subject) / Object Constraint Language (Lesson)
There are 7 cards in this lesson
VL04
This lesson was created by jan_kirsch.
This lesson is not released for learning.
- 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