-
题名乐观嵌套工作流事务模型的形式化描述
- 1
-
-
作者
董云卫
郝克刚
-
机构
西北工业大学计算机学院
西北大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2006年第7期107-110,195,共5页
-
基金
"陕西省自然科学基金"(项目编号:2005F46)
"西安科技攻关计划"(项目编号:GG05022)项目资助。
-
文摘
本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。
-
关键词
乐观嵌套工作流事务模型
工作流事务
形式化描述
-
Keywords
Optimistic nested workflow transaction model,Workflow transaction,Formal description
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种乐观嵌套工作流事务模型
被引量：5
- 2
-
-
作者
董云卫
郝克刚
-
机构
西北工业大学计算机学院
西北大学计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2005年第8期90-93,共4页
-
文摘
为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。
-
关键词
乐观嵌套事务模型
工作流事务
扩展信牌驱动分布式工作流计算模型
嵌套事务模型
工作流模型
并发控制协议
操作原语
事务管理
控制理论
活动类型
-
Keywords
Optimistic nested transaction model, Workflow transaction, Extend xinpai driven distributed workflow model
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TP399
[自动化与计算机技术—计算机应用技术]
-
