Konferenzbeitrag
From business process fragments to workflow definitions
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2004
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
The use of Workflow Management Systems allows to automate numerous Business Processes within companies. For this, workflow definitions as executable derivates of business process descriptions must be formulated in a formal specification language. For both - the less formal descriptions of business processes and the workflow definitions - Petri net based approaches are widely used and well understood. In this paper, we study the process of deriving workflow definitions from less formal business process descriptions and even fragments of such descriptions and how to satisfy the correctness of these models among each other.