Konsistenz und Integrität in Workflows als Kontrollmechanismen dynamischer Änderungen

Inhaltsangabe:Problemstellung:
Im Rahmen dieser Arbeit ist zu untersuchen, wie das flexible Workflow-Modell SWATS erweitert werden kann, um Anpassungen geeignet einschränken zu können. Dabei ist zu überprüfen, inwieweit die Begriffe Konsistenz und Integrität aus anderen Forschungs- und Anwendungsbereichen auf Workflow-Management übertragen werden können.
Im Zusammenspiel mit Konsistenzbedingungen und Anpassungsrechten sind Mechanismen zu entwickeln, mit denen diese Einschränkungen modelliert werden können. Während der Ausführung müssen sie dann überprüfbar sein, insbesondere um die Zuverlässigkeit von Anpassungen in geeigneter Weise kontrollieren zu können.

Inhaltsverzeichnis:Inhaltsverzeichnis:
1.Einführung1
1.1Problemstellung1
1.2Umfeld der Arbeit3
1.3Vorgehen4
2.Anforderungen6
2.1Anforderungen an Workflow-Modelle und Workflow-Management-Systeme6
2.1.1Anforderungen an Workflow-Modelle6
Modularität6
2.1.2Anforderungen an Workflow-Management-Systeme10
Funktionale Anforderungen10
Nichtfunktionale Anforderungen an Workflow-Management-Systeme11
2.2Anwendungsfälle13
2.3Anforderungen an flexible und anpassungsfähige Workflow-Management-Systeme24
2.3.1Flexibilität24
2.3.2Anpaßbarkeit25
Beteiligung aller Workflow-Partizipanten25
Rechteeinschränkung25
Erweiterte Benutzerschnittstelle26
Begrenzbarkeit der Auswirkungen27
2.4SWATS als flexibles und anpassungsfähiges Workflow-Management-System28
2.4.1SWATS-Architekur28
2.4.2Technologie30
2.4.3Der Workflow Instance Manager31
Workflow-Metaschema31
Realisierung und Schnittstellen32
3Konzeption und Spezifikation35
3.1Anpassungsrechte35
3.1.1Nachteile einer operationszentrierten Rechtemodellierung35
3.1.2Datenzentrierte Rechtemodellierung37
3.1.3Anpassungsrechteaspekt39
Bindung der Rechte39
Beschreibung von Anpassungsrechten40
3.1.4Validierung der Anpassungsrechtemodellierung49
Bewertung51
3.2Konsistenz und Integrität52
3.2.1Datenbankverwaltungsprogramme54
3.2.2Workflow-Management-Systeme56
3.3Strukturelle Integrität58
3.3.1Analyse der strukturellen Integrität des SWATS-Workflow-Modells59
Funktionaler Aspekt59
Verhaltensaspekt60
Informationsaspekt61
Organisatorischer Aspekt62
Operationaler Aspekt63
Temporaler Aspekt63
Zustandsaspekt64
Anpassungsrechteaspekt65
Integritätsaspekt66
3.3.2Strukturelle Integritätsregeln für das SWATS-Workflow-Modell66
Bindung68
Invarianten auf Basis der Aussagenlogik68
Erweiterung um prädikatenlogische Elemente70
3.4Semantische [...]