Vidal's libraryTitle: | From Centralized Workflow Specification to Distributed Workflow Execution |
Author: | Peter Muth, Dirk Wodtke, Jeanine Weissenfels, Angelika Kotz Dittrich, and Gerhard Weikum |
Journal: | Journal of Intelligent Information Systems |
Volume: | 10 |
Number: | 2 |
Pages: | 159--184 |
Publisher: | Kluwer Academic Publishers |
Year: | 1998 |
DOI: | 10.1023/A:1008608810770 |
Abstract: | Current workflow management systems fall short of supporting large-scale distributed, enterprise-wide applications. We present a scalable, rigorously founded approach to enterprise-wide workflow management, based on the distributed execution of state and activity charts. By exploiting the formal semantics of state and activity charts, we develop an algorithm for transforming a centralized state and activity chart into a provably equivalent partitioned one, suitable for distributed execution. A synchronization scheme is developed that guarantees an execution equivalent to a non-distributed one. This basic solution is further refined in order to reduce communication overhead and exploit parallelism between partitions whenever possible. The developed synchronization schemes are compared in terms of the number and size of synchronization messages |
Cited by 103 - Google Scholar
@Article{muth98a,
author = {Peter Muth and Dirk Wodtke and Jeanine Weissenfels
and Angelika Kotz Dittrich and Gerhard Weikum},
title = {From Centralized Workflow Specification to
Distributed Workflow Execution},
journal = {Journal of Intelligent Information Systems},
volume = 10,
number = 2,
year = 1998,
issn = {0925-9902},
pages = {159--184},
doi = {10.1023/A:1008608810770},
publisher = {Kluwer Academic Publishers},
address = {Hingham, MA, USA},
abstract = {Current workflow management systems fall short of
supporting large-scale distributed, enterprise-wide
applications. We present a scalable, rigorously
founded approach to enterprise-wide workflow
management, based on the distributed execution of
state and activity charts. By exploiting the formal
semantics of state and activity charts, we develop
an algorithm for transforming a centralized state
and activity chart into a provably equivalent
partitioned one, suitable for distributed
execution. A synchronization scheme is developed
that guarantees an execution equivalent to a
non-distributed one. This basic solution is further
refined in order to reduce communication overhead
and exploit parallelism between partitions whenever
possible. The developed synchronization schemes are
compared in terms of the number and size of
synchronization messages},
keywords = {multiagent workflow},
url = {http://jmvidal.cse.sc.edu/library/muth98a.pdf},
googleid = {9PUeRI_BElEJ:scholar.google.com/},
cluster = {5841944487720318452},
}
Last modified: Wed Mar 9 10:14:37 EST 2011