TY - JOUR
T1 - Scheduling workflows by enforcing intertask dependencies
AU - Attie, P. C.
AU - Singh, M. P.
AU - Emerson, E. A.
AU - Sheth, A.
AU - Rusinkiewicz, M.
PY - 1996
Y1 - 1996
N2 - Workflows are composite activities that can be used to support and automate multisystem applications involving humans, heterogeneous databases and legacy systems. The traditional atomic transaction model, successful for centralized and homogeneous applications, is not suitable for supporting such workflows. Intertask dependencies, which are conditions involving events and dependencies among workflow tasks, are used to specify the coordination requirements among the workflow tasks and are a central component of most workflow models. They form a basis for developing a uniform formal framework for workflows, which is a key contribution of this work. In this paper, we formalize intertask dependencies using temporal logic. This involves event attributes, which are needed to determine whether a dependency is enforceable and to properly schedule events. Each dependency is represented internally as a finite state automaton that captures the computations that satisfy the given dependency. Sets of automata are combined into a scheduler that produces global computations satisfying all relevant dependencies, thus enacting the given workflow. This algorithm is rigorously proved correct; it has been implemented.
AB - Workflows are composite activities that can be used to support and automate multisystem applications involving humans, heterogeneous databases and legacy systems. The traditional atomic transaction model, successful for centralized and homogeneous applications, is not suitable for supporting such workflows. Intertask dependencies, which are conditions involving events and dependencies among workflow tasks, are used to specify the coordination requirements among the workflow tasks and are a central component of most workflow models. They form a basis for developing a uniform formal framework for workflows, which is a key contribution of this work. In this paper, we formalize intertask dependencies using temporal logic. This involves event attributes, which are needed to determine whether a dependency is enforceable and to properly schedule events. Each dependency is represented internally as a finite state automaton that captures the computations that satisfy the given dependency. Sets of automata are combined into a scheduler that produces global computations satisfying all relevant dependencies, thus enacting the given workflow. This algorithm is rigorously proved correct; it has been implemented.
UR - http://www.scopus.com/inward/record.url?scp=0006965228&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0006965228&partnerID=8YFLogxK
U2 - 10.1088/0967-1846/3/4/003
DO - 10.1088/0967-1846/3/4/003
M3 - Article
AN - SCOPUS:0006965228
SN - 0967-1846
VL - 3
SP - 222
EP - 238
JO - Distributed Systems Engineering
JF - Distributed Systems Engineering
IS - 4
ER -