Sciweavers

COMPSAC
2002
IEEE

New Model and Scheduling Protocol for Transactional Workflows

14 years 4 months ago
New Model and Scheduling Protocol for Transactional Workflows
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of transactions, a transactional workflow may be not well-formed. Moreover, only one workflow is allowed to execute a noncompensatable transaction with current scheduling protocol. In this paper, we present a transactional workflow model and formally define the correctness criteria of transactional workflow structure (well-formedness) and execution (serializability). We then propose an efficient method for well-formedness validation through a set of computation rules. Finally a scheduling protocol based on two kinds of locking granularities is presented. The protocol is different from related research in the fine-grained locking on transaction instances and coarse-grained locking on transaction classes, multiple workflows are therefore allowed to execute non-compensatable transactions if they are not conflict in pred...
Ke Ding, Beihong Jin, Jun Wei, Yulin Feng
Added 14 Jul 2010
Updated 14 Jul 2010
Type Conference
Year 2002
Where COMPSAC
Authors Ke Ding, Beihong Jin, Jun Wei, Yulin Feng
Comments (0)