事务工作流的建模和分析  

Modeling and Analysis of Transactional Workflows

作　　者：丁柯[1,2] 金蓓弘[1,2] 冯玉琳[1,2] 

机构地区：[1]中国科学院软件研究所计算机科学重点实验室,北京100080 [2]中国科学院软件研究所软件工程技术中心,北京100080

出　　处：《计算机学报》2003年第10期1304-1311,共8页Chinese Journal of Computers

基　　金：国家自然科学基金重点项目 ( 6983 3 0 3 0 );国家"九七三"重点基础研究发展规划项目 (G19990 3 5 80 7)资助

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

关 键 词：事务工作流 建模 事务序列 可补偿特性 可重复特性 软件系统 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]