事务工作流的建模和分析

Modeling and Analysis of Transactional Workflows

事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作流的非良构性 .该文给出了事务工作流模型及良构性的形式化定义 ,提出了一个良构性判断定理 ,通过一种构造性的方法来有效地验证事务工作流的良构性 ,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器 .

A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of transactions, a large transactional workflow with complex structures may not be well-formed because of composition mismatch. In this paper, we present a transactional workflow model and formally define the concept of well-formedness. We then propose a well-formedness determination theorem. We also design a transactional workflow description language ISWDL in context-free grammar and implement a parser to check the well-formedness of workflows in ISWDL.