事务工作流的建模和分析

• 作者: 丁柯 冯玉琳 金蓓弘
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 事务工作流 松弛原子性 良构性
• 年，卷（期）: 2003,（10）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1304-1311
• 页数: 8页
• 分类号: TP311
• 字数: 8270字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2003.10.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金蓓弘	中国科学院软件研究所计算机科学重点实验室	61	1071	20.0	31.0
5	丁柯	中国科学院软件研究所计算机科学重点实验室	6	144	3.0	6.0
9	冯玉琳	中国科学院软件研究所计算机科学重点实验室	12	588	7.0	12.0