事务工作流的建模和分析

作     者：丁柯 金蓓弘 冯玉琳 

作者机构：中国科学院软件研究所计算机科学重点实验室北京100080 中国科学院软件研究所软件工程技术中心北京100080 

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

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2003年第26卷第10期

页      码：1304-1311页

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

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

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3321/j.issn:0254-4164.2003.10.013

馆 藏 号：203490640...