| 事务工作流的建模和分析 |
| |
| 引用本文： | 丁柯,金蓓弘,冯玉琳. 事务工作流的建模和分析[J]. 计算机学报, 2003, 26(10): 1304-1311 |
| |
| 作者姓名： | 丁柯 金蓓弘 冯玉琳 |
| |
| 作者单位： | 中国科学院软件研究所计算机科学重点实验室,北京,100080;中国科学院软件研究所软件工程技术中心,北京,100080 |
| |
| 基金项目： | 国家自然科学基金重点项目 ( 6983 3 0 3 0 )，国家“九七三”重点基础研究发展规划项目 (G19990 3 5 80 7)资助 |
| |
| 摘 要： | 事务工作流由若干个事务组成，其执行满足松弛原子性．只有良构的事务工作流才能保证所有执行均满足松弛原子性．事务具有不同的可补偿特性和可重复特性，在包含多种控制结构的复杂事务工作流中，事务之间组合失配问题可能造成事务工作流的非良构性．该文给出了事务工作流模型及良构性的形式化定义，提出了一个良构性判断定理，通过一种构造性的方法来有效地验证事务工作流的良构性，还设计了事务工作流的描述语言ISWDL并实现了良构性验证器．
|
| 关 键 词： | 事务工作流 建模 事务序列 可补偿特性 可重复特性 软件系统 |
| 修稿时间： | 2002-02-01 |
Modeling and Analysis of Transactional Workflows |
| |
| DING Ke JIN Bei-Hong FENG Yu-Lin. Modeling and Analysis of Transactional Workflows[J]. Chinese Journal of Computers, 2003, 26(10): 1304-1311 |
| |
| Authors: | DING Ke JIN Bei-Hong FENG Yu-Lin |
| |
| Abstract: | |
| |
| Keywords: | transactional workflow relaxed atomicity well-formedness |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
