This paper provides a formal foundation for distributed workflow 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 run-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.
CITATION STYLE
Wodtke, D., & Weikum, G. (1997). A formal foundation for distributed workflow execution based on state charts. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1186, pp. 230–246). Springer Verlag. https://doi.org/10.1007/3-540-62222-5_48
Mendeley helps you to discover research relevant for your work.