Sciweavers

Share
ICDT
1997
ACM

A Formal Foundation for Distributed Workflow Execution Based on State Charts

8 years 7 months ago
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.
Dirk Wodtke, Gerhard Weikum
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where ICDT
Authors Dirk Wodtke, Gerhard Weikum
Comments (0)
books