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...

• Type: Conference
• Year: 2002
• Where: COMPSAC
• Authors: Ke Ding, Beihong Jin, Jun Wei, Yulin Feng
• Keywords: COMPSAC 2002, Scheduling Protocol, Software Engineering, Transactional Workflow, Transactional Workflow Model