事务工作流的建模和分析

被引：24

作者：

丁柯

金蓓弘

冯玉琳

机构：

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

来源：

计算机学报 | 2003年 / 10期

基金：

国家自然科学基金重点项目;

关键词：

事务工作流; 松弛原子性; 良构性;

D O I：

暂无

中图分类号：

TP399 [在其他方面的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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

引用

页码：1304 / 1311

页数：8