Die Realisierung eines graphischen Workflow-Editors in Java

Ausgehend von verschiedenen Ansätzen zur Modellierung von Workflows, wie z.B. Petri-Netzen, wird in dieser Arbeit ein graphischer, syntaxgesteuerter Workflow-Editor realisiert, der die schnelle und komfortable Modellierung von Workflows erlaubt. Grundlage des Editors ist das formal verifizierbare ADEPT-Basismodell mit seinen verschiedenen Konstrukten. Da viele Editoren heutiger Workflow-Management-Systeme den Benutzer meist nicht bei der Modellierung eines korrekten Workflows unterstützen, werden in dieser Arbeit verschiedene Aspekte zur Sicherstellung der Korrektheit eines Workflows erläutert. Neben der syntaktischen Korrektheit des Prozeßgraphen ist die Prüfung der korrekten Datenversorgung daher ein Schwerpunkt dieser Arbeit. Aus diesem Grund werden verschiedene Datenflußanalyse-Algorithmen aufgezeigt. Beispielsweise kann der Editor mit Hilfe dieser Algorithmen parallele Schreiboperationen erkennen und anzeigen. Desweiteren wird ein Verfahren zur Visualisierung eines Workflow-Graphen mit seinen Grundlagen beschrieben. Aufbauend auf diesen Konzepten wird die Implementierung des Workflow-Editors in dieser Arbeit dokumentiert