Geschftsprozemanagement auf der Basis ereignisgesteuerter Prozeketten: Formal [Paperback]

1 Einleitung.- 1.1 Gesch?ftsproze?modellierung.- 1.2 Workflow-Management.- 1.3 Problemstellung und Zielsetzung.- 1.4 Aufbau des Buches.- 2 Grundlagen.- 2.1 Gesch?ftsproze?modellierung.- 2.2 Workflow-Management.- 2.3 Gesch?ftsproze?management.- 3 Ereignisgesteuerte Proze?ketten.- 3.1 Urspr?ngliche Definition.- 3.2 Verbreitung des EPK-Modells.- 3.3 Erweiterungen des EPK-Modells.- 3.4 Ans?tze zur Formalisierung des EPKM.- 3.5 Fazit.- 4 Syntax und Semantik des EPK-Modells.- 4.1 Syntaxdefinition.- 4.2 Semantikdefinition.- 4.3 Erreichbarkeitsgraph.- 5 Analyse und Ausf?hrung ereignisgesteuerter Proze?ketten.- 5.1 Analyse ereignisgesteuerter Proze?ketten.- 5.2 Ausf?hrung von EPKs auf Basis eines aktiven Datenbanksystems.- 5.3 Fazit.- 6 FluX: ein System zum durchg?ngigen Management von EPKs.- 6.1 Gesamtarchitektur von FluX.- 6.2 Beschreibung der Komponenten.- 6.3 Fazit.- 7 Reengineering von EPKs.- 7.1 Vorgehensmodelle.- 7.2 Reengineering.- 7.3 Vorgehensmodell zum Reengineering ereignisgesteuerter Proze?ketten.- 7.4 Fazit.- 8 Zusammenfassung und Ausblick.- 8.1 Zusammenfassung.- 8.2 Ausblick.- Stichwortverzeichnis.Dieses Buch beschreibt das durchg?ngige Gesch?ftsproze?management auf der Basis ereignisgesteuerter Proze?ketten (EPK), die sich im Bereich der Gesch?ftsproze?modellierung in der Praxis etabliert haben und den Quasistandard bilden. Nach der Einleitung in die Gesch?ftsproze?modellierung, das Workflow-Management und das Gesch?ftsproze?management wird der aktuelle Stand der Modellierung von Gesch?ftsprozessen mit EPKs dargestellt. Es wird eine Formalisierung von EPKs vorgestellt, die die Grundlage f?r Analysen (?berpr?fung allgemeiner und benutzerdefinierter Eigenschaften) und f?r die Ausf?hrung bildet, wobei vor allem die Weiterverwendung in Unternehmen bereits vorhandener EPKs besondere Beachtung findet.