Metamodellbasierte und hierarchieorientierte ... - RosDok

32 Deklarative UML metamodellbasierte Workflowmodellierung
• Anwendungsfalldiagramm: Diese Modelle werden häufig als erste Modellierungsart in Softwareprojekten
zum Requirements Engineering genutzt. Dort wird dargestellt, welche Akteure wie mit dem
zu entwickelnden System über Anwendungsfälle (Use Cases) interagieren. Im Diagramm können
Anwendungsfälle mit include und extend in Beziehung gesetzt werden. Include besagt, dass der inkludierte
Use Case für eine erfolgreiche Ausführung des übergeordneten Anwendungsfalles zwingend
erforderlich ist. Dagegen wird extend verwendet, um Use Cases für Ausnahmefälle zu spezifizieren.
Zur Behandlung des Ausnahmefalls wird dann der über die extend Beziehung definierte Use Case
ausgeführt, um das Ziel des zu erweiternden Use Cases wieder zu erreichen. Über extension points
können die Bedingungen angegeben werden, die zutreffen müssen, damit der Ausnahmefall eintritt.
Es gibt des Weiteren auch textuelle Repräsentationen, die eine strukturierte, formularbasierte Beschreibung
von Anwendungsfällen darstellt [For07]. Dort sind zunächst der Hauptakteur und die
Nebenakteure zu benennen. Dann ist das Ziel anzugeben, das der Hauptakteur mit dem von ihm ausgelösten
Anwendungsfall verbindet. Außerdem ist ein Szenario als Interaktionsfolge zwischen Akteur
und System zu beschreiben, das das vorher angegebene Ziel erfüllt. Dieses angegebene Szenario
wird als Hauptszenario bezeichenet. Typischer Weise können mehrere Szenarien zum Erfolg eines
Anwendungsfalls führen. Zudem sind die Startereignisse zu benennen, die den beschriebenen Use
Case auslösen. Hier gibt es eine starke Ähnlichkeit zu Geschäftsprozessmodellen. Wie in den Unterabschnitten
2.5.2.1 und 2.5.2.3 erwähnt, ist die Spezifikation der Startereignisse ebenfalls Bestandteil
von EPK- und BPMN-Geschäftsprozessmodellen.
Use Cases können des Weiteren synonym zu Prozessen bzw. Aktivitäten gesehen werden, so dass
damit eine grobe Geschäftsprozessmodellierung, die noch keine Angaben über Reihenfolgen der
Aktivitäten macht, ermöglicht wird. Die include und extend-Beziehungen können in Use Case-Diagrammen
eine Hierarchie bilden, ähnlich zu Funktionsbäumen (s. [OWS + 03, 81]), die z.B. Bestandteil
der Geschäftsprozessmodellierung in ARIS sind [Sch01]. Die Hierarchisierung ist dagegen nicht
Gegenstand der Betrachtung bei DMWM und kann in Modellen dieser Sprache nicht ausgedrückt
werden.
• Kommunikationsdiagramm
• Interaktionsübersichtsdiagramm
• Zeitverlaufsdiagramm
3.1.2 Spezifikation von Zusicherungen mit OCL
Da visuelle Modelle häufig nicht ausreichen, um eine Sofwaresysteme genau genug zu beschreiben, wurde
der UML eine textuelle Spezifikationssprache hinzugefügt. Diese Sprache ist seiteneffektfrei und wird als
Object Constraint Language (OCL) bezeichnet [OCL10]. Die Spezifikationsmittel sind Invarianten und
Vor- und Nachbedingungen. Diese sind integraler Bestandteil des DMWM-Ansatzes zur Spezifikation des
Metamodells.
Invarianten werden Klassen aus dem UML-Klassendiagramm zugeordnet und stellen Zusicherungen dar,
die die Objekte dieser Klassen nicht verletzen dürfen. Zudem gibt es OCL Vor- und Nachbedingungen,
die Zustandsänderungen bei Operationsaufrufen spezifizieren können. Dabei wird durch die Vorbedingung
angegeben, wie der Zustand vor der Operationsausführung sein muss. Durch die Nachbedingung wird der
Zustand nach Ausführung der Operation spezifiziert. Eine imperative Angabe, wie die Zustandsänderung
erreicht wird, ist mit OCL nicht möglich. Dafür können UML-Action Languages wie z.B. ALF [OMG10]
oder SOIL [Büt11] genutzt werden.