摘要
事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作流的非良构性 .该文给出了事务工作流模型及良构性的形式化定义 ,提出了一个良构性判断定理 ,通过一种构造性的方法来有效地验证事务工作流的良构性 ,还设计了事务工作流的描述语言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.
出处
《计算机学报》
EI
CSCD
北大核心
2003年第10期1304-1311,共8页
Chinese Journal of Computers
基金
国家自然科学基金重点项目 ( 6983 3 0 3 0 )
国家"九七三"重点基础研究发展规划项目 (G19990 3 5 80 7)资助