Specifying and Enforcing Intertask Dependencies

11 years 5 months ago
Specifying and Enforcing Intertask Dependencies
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legacy application systems. Most extended transaction models use conditions involving events or dependencies between transactions. Intertask dependencies can serve as a uniform framework for de ning extended transaction models. In this paper, we introduce event attributes needed to determine whether a dependency is enforceable and to properly schedule events in extended transaction models. Using these attributes and aformalizationofa dependency into the temporal logic CTL, we can automatically synthesize an automaton that captures the computations that satisfy the given dependency. We show how a set of such automata can be combined into a scheduler that produces global computations satisfying all relevant dependencies. We show how dependencies required to implement relaxed transactions such as Sagas can be enforce...
Paul C. Attie, Munindar P. Singh, Amit P. Sheth, M
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where VLDB
Authors Paul C. Attie, Munindar P. Singh, Amit P. Sheth, Marek Rusinkiewicz
Comments (0)