6533b839fe1ef96bd12a5907

RESEARCH PRODUCT

ENFORCEMENT OF INTER-TASK DEPENDENCIES IN WORKFLOWS, CHARACTERIZATION AND PARADIGM

Jari VeijalainenJian Tang

subject

Theoretical computer scienceCorrectnessDependency (UML)Event (computing)Computer scienceProgramming languageLegacy systemcomputer.software_genreComputer Science ApplicationsAutomatonTask (project management)Dependency theory (database theory)WorkflowcomputerInformation Systems

description

Workflow techniques have gained a lot of attention as a means to support advanced business applications such as cooperative information systems and process re-engineering but also as a means to integrate legacy systems. Inter-task dependencies, described separately from the other parts of the workflow, have been recognized as a valuable method in describing certain restrictions on the executions of workflows. In this paper, we study the issue of pre-analysing and enforcing inter-task dependencies. The protocol and the theory behind it are presented, along with examples and discussions on ways to improve the performance. The idea is to present the meaning of a dependency through an automaton which accepts the sequences of events tied by the dependency through an automaton which accepts the sequences of events tied by the dependency. We prune from the automata certain paths that cannot be followed due to the conflicting paths in other automata and record the feasible event sequences in a special data structure to be used during run-time. We show the correctness of the algorithms and also show that our run-time algorithm is linear, whereas the original approach suggested by MCC in Refs. 5 and 6 is exponential, when resolution of one event is concerned.

yearjournalcountryeditionlanguage
1998-03-01International Journal of Cooperative Information Systems
https://doi.org/10.1142/s0218843098000039