A Formal Foundation for Distributed Workflow Execution Based on State Charts

This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for both correctness reasoning and nan-time support for complex and large-scale workflow applications. To allow for the distributed execution of a workflow across different workflow servers, which is required for scalability and organizational decentralization, a method for the partitioning of workflow specifications is developed. It is proven that the partitioning preserves the original state chart's behavior.

• Type: Conference
• Year: 1997
• Where: ICDT
• Authors: Dirk Wodtke, Gerhard Weikum
• Keywords: Database, ICDT 1997, Large-scale Workflow Applications, State Chart, Workflow