Für eine korrekte Darstellung dieser Seite benötigen Sie einen XHTML-standardkonformen Browser, der die Darstellung von CSS-Dateien zulässt.

. .
Suche

Universität Siegen Department ETI Fachgruppe Praktische Informatik

Informationen zum Lehrmodul
Die Object Constraint Language der UML

Stand: 02.04.2019


  • Zusammenfassung dieses Lehrmoduls:

    Die Object Constraint Language (OCL) ist eine Sprache, in der man zu einem UML-Modell zusätzliche Einschränkungen und Integritätsbedingungen angeben kann. Dieses Lehrmodul führt die wichtigsten Anwendungensfälle und Details der OCL ein.

  • Inhaltsverzeichnis:
    1   Motivation
    2   Die Object Constraint Language (OCL) -- Anwendungen und Sprachumfang
    2.1   Der Kontext von OCL-Ausdrücken
    2.2   OCL-Ausdrücke
    3   Arten von OCL-Bedingungen- bzw. -Ausdrücken
    3.1   Invarianten
    3.2   Vor- und Nachbedingungen
    3.3   Initiale und abgeleitete Werte
    3.4   Spezifikation von Abfragen
    4   Organisation von OCL-Bedingungen
    4.1   Bezeichner von OCL-Bedingungen
    4.2   Pakete
    5   Navigation
    5.1   Der Navigationsoperator `.'
    5.2   Navigation zu Attributen und Operationen
    5.3   Navigation über Beziehungen
    6   Kollektionen
    6.1   Arten von Kollektionen
    6.2   Elementare Funktionen mit Kollektionen
    6.3   Der Navigationsoperator `->'
    6.4   Die Funktion select
    6.5   Die Funktion reject
    6.6   Die Funktion collect
    6.7   Die Funktion forAll
    6.8   Die Funktion exists
    6.9   Die Funktion iterate
    7   Abkürzungen
    7.1   Der Navigationsoperator `.' für Kollektionen
    7.2   Der Navigationsoperator `->' für Objekte
    7.3   Rollen mit Multiplizität 0..1
    8   Gemeinsame Teilausdrücke
    8.1   {\sf let}-Anweisung
    8.2   Definitions-Ausdrücke
  • relevant für die Lehrveranstaltung(en):
  • Vorausgesetzte Lehrmodule:
  • Stoffumfang in Vorlesungsdoppelstunden: 1.0
  • Umfang in (DIN-A5-) Seiten: 22
  • URLs der Volltexte des Skripts:
    (Erläuterungen zu den Dateiformaten; bitte lesen, sofern beim Entpacken oder Drucken der Dateien Probleme auftreten.)
  • Begleitmaterial:
    - entfällt -
  • Änderungen gegenüber früheren Versionen:
    2019-04-02: erhebliche Überarbeitung, u.a. Ergänzungen bzgl. OCL 2.4
    2009-05-31: Erstversion