期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
乐观嵌套工作流事务模型的形式化描述
1
作者 董云卫 郝克刚 《计算机科学》 CSCD 北大核心 2006年第7期107-110,195,共5页
本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执... 本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。 展开更多
关键词 乐观嵌套工作流事务模型 工作流事务 形式化描述
下载PDF
一种乐观嵌套工作流事务模型 被引量:5
2
作者 董云卫 郝克刚 《计算机科学》 CSCD 北大核心 2005年第8期90-93,共4页
为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠... 为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。 展开更多
关键词 乐观嵌套事务模型 工作流事务 扩展信牌驱动分布式工作流计算模型 嵌套事务模型 工作流模型 并发控制协议 操作原语 事务管理 控制理论 活动类型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部