Softwaretechnik 10 Object Constraint Language Karsten Weicker HTWK Leipzig
Agent Pryzwarra: Weve got some unique time
constraints. (Deja Vu, 2006)
Aufgaben
Einf uhrung
Anwendungsbeispiel
Elemente von OCL
Aufgaben
Einfuhrung Motivation Klassendiagramme konnen mehrdeutig sein uber Invarianten komplexe Zusammenhange beschreiben Sequenzdiagramme fur grobe Ablaufe notwendig uber Vor-/Nachbedingungen Methoden beschreiben Code-Erzeugung aus Diagrammen hat noch nicht richtig uberzeugt Queries mathematisch beschreiben model-driven architecture
Einf uhrung
Anwendungsbeispiel
Elemente von OCL
Aufgaben
Einfuhrung Object Constraint Language baut wesentlich auf den Klassendiagrammen auf seit 1995 Teil des offiziellen UML-Standards seit OCL 2.0: auch lokale Variablen und weitere Sprachkonzepte
Einf uhrung
Anwendungsbeispiel
Elemente von OCL
Einfuhrung Einfaches Beispiel Grundelemente: Kontext: Klasse (self) Formel: logisch-mathematische Formel (hier: als Invariante)
Einfuhrung OCL-Eigenschaften gemeinsame Sprache fur Abfragen und Constraints auf mathematischer Grundlage, aber ohne mathematische Symbole stark typisiert deklarative Sprache
Anwendungsbeispiel Verwaltung von Treue/Bonus-Programmen Kunden konnen Treueprogramm beitreten fur Einkaufe (Service) werden Punkte gutgeschrieben diese konnen gegen andere Leistungen (Service) eingelost werden bestimmte Leistungen hangen von einem ServiceLevel (u.a. auch Farbe der Karte) ab
Aufgaben
Einf uhrung
Anwendungsbeispiel
Elemente von OCL
Aufgaben
Einf uhrung
Anwendungsbeispiel
Elemente von OCL
Elemente von OCL
Datentypen Basis-Datentypen: Integer, Real, String und Boolean Collection-Typen ungeordnet geordnet eindeutige Elem. Set OrderedSet Duplikate Bag Sequence benutzerdefierte Typen: Klassen im Klassendiagramm
Aufgaben
Einf uhrung
Anwendungsbeispiel
Elemente von OCL
Elemente von OCL
Operationen auf Boolean Notation a or b a and b a xor b not a a = b a <> b a implies b
Operation oder und exklusives oder Negation gleich ungleich impliziert
Pfadname :: Punkt und Pfeil . und -> unare Operationen - und not Multiplikation und Division * und \ Addition und Subtraktion + und Vergleiche <, >, <=, >=, = und <> logische Operatoren and, or und xor logische Implikation implies
Aufgaben
Einf uhrung
Anwendungsbeispiel
Elemente von OCL
Elemente von OCL
Navigation im Klassendiagramm
Ausgangs-Datentyp
zu Attribution und entlang Assoziationen mit
.bezeichner Ergebnis-Datentyp: Art des Bezeichners Attribut Assoziation ein Objekt einelem. Set Set Set Bag Bag Bag Bag Bag
auch: Aufruf (z.B. boolescher) Methoden
Aufgaben
Einf uhrung
Anwendungsbeispiel
Elemente von OCL
Elemente von OCL
Navigation im Klassendiagramm: Beispiele Kontext Flug: self.flugzeug self.flugzeug.sitzanzahl self.flugzeug.fluege
Klassenattribute referenziert mit dem Klassennamen und dem Pfadoperator context Kundenkarte inv: gueltigBis.spaeterAls(Datum::heute)
Aufzahlungsdatentypen (Enumeration) analog zu Klassenattributen context Kunde inv: geschlecht = Geschlecht::maennlich implies anrede = Herr
Aufgaben
Einf uhrung
Anwendungsbeispiel
Elemente von OCL
Aufgaben
Elemente von OCL
Operationen auf Collections Collection-Operationen werden mit -> angezeigt Beispiel: ->isEmpty() pruft, ob die Collection kein Element enthalt context Kunde inv: self.konten->isEmpty()
Gegenbeispiel: context Kunde inv: self.konten.isEmpty()
liefert Sammlung mit den Ergebnissen der
Methode isEmpty() der Klasse Konto, angewandt auf alle Konten des Kunden
Operation Anzahl der Vorkommen pruft ob nicht enthalten analog pruft ob enthalten analog pruft ob leer pruft ob mind. 1 El. Anzahl der Elemente summiert Elemente
