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 [...]