期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
31
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
事务工作流的建模和分析
被引量:
26
1
作者
丁柯
金蓓弘
冯玉琳
《计算机学报》
EI
CSCD
北大核心
2003年第10期1304-1311,共8页
事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作...
事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作流的非良构性 .该文给出了事务工作流模型及良构性的形式化定义 ,提出了一个良构性判断定理 ,通过一种构造性的方法来有效地验证事务工作流的良构性 ,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器 .
展开更多
关键词
事务工作流
建模
事务
序列
可补偿特性
可重复特性
软件系统
下载PDF
职称材料
一种层次式的事务工作流失效恢复算法
被引量:
9
2
作者
任怡
吴泉源
贾焰
《电子学报》
EI
CAS
CSCD
北大核心
2005年第2期317-321,共5页
部分补偿和完全补偿是事务工作流失效恢复的传统补偿方法 ,对于长期运行且结构复杂的事务工作流 ,失效时需要补偿至静态定义的某一活动甚至起始活动 ,因此代价较大 .给出了事务工作流的概念模型 ,提出了一种层次式的失效恢复算法 .与传...
部分补偿和完全补偿是事务工作流失效恢复的传统补偿方法 ,对于长期运行且结构复杂的事务工作流 ,失效时需要补偿至静态定义的某一活动甚至起始活动 ,因此代价较大 .给出了事务工作流的概念模型 ,提出了一种层次式的失效恢复算法 .与传统方法相比 ,允许事务性或者非事务性子过程同时存在 ;将工作流看作由嵌套结构的子过程组成 ,而不是一个平坦流图 ;基于执行历史而不是工作流定义进行补偿 ,可简化循环结构的恢复 .该算法针对活动的恢复策略进行层次式的向上规约处理 ,动态确定补偿终止点 ,可有效减小补偿域 .证明了算法的正确性 ,性能分析表明其性能通常优于非层次的失效恢复算法 ,讨论了算法的实现 .
展开更多
关键词
事务工作流
失效恢复
层次式
补偿
下载PDF
职称材料
基于混合粒度冲突检测的事务工作流调度算法
被引量:
9
3
作者
丁柯
魏峻
冯玉琳
《软件学报》
EI
CSCD
北大核心
2003年第3期369-375,共7页
事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型...
事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.
展开更多
关键词
混合粒度冲突检测
事务工作流
调度算法
计算机软件
并发控制
下载PDF
职称材料
基于家态的多事务工作流完整性分析
被引量:
4
4
作者
庞善臣
闫春钢
蒋昌俊
《电子学报》
EI
CAS
CSCD
北大核心
2006年第6期1163-1168,共6页
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,...
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.
展开更多
关键词
PETRI网
家态
工作流
多
事务工作流
网
完整性
下载PDF
职称材料
基于隔离域的事务工作流并发控制
被引量:
3
5
作者
郝丽波
李建华
《计算机工程与设计》
CSCD
北大核心
2008年第1期199-202,共4页
事务工作流系统中存在多个流程的多个实例同时并发执行的情况,所以多个活动同时访问共享资源时出现访问冲突。为保证流程的正确执行和提高活动的并发度,基于事务的隔离性特征,提出了隔离域的概念和相关属性,并在建模阶段采用业务流程和...
事务工作流系统中存在多个流程的多个实例同时并发执行的情况,所以多个活动同时访问共享资源时出现访问冲突。为保证流程的正确执行和提高活动的并发度,基于事务的隔离性特征,提出了隔离域的概念和相关属性,并在建模阶段采用业务流程和事务需求分开定制的方式,通过设置隔离域的隔离属性来控制各流程实例并发活动的执行,并且给出了基于隔离域的并发控制算法,从而有效地提高了流程和活动的并发度,并避免丢失修改等现象的发生。
展开更多
关键词
事务工作流
并发
隔离
隔离域
隔离级别
下载PDF
职称材料
基于事务工作流的并行测试程序运行管理机制
被引量:
2
6
作者
陈粤
孟晓风
宋宏江
《计算机工程与应用》
CSCD
北大核心
2007年第21期103-105,120,共4页
并行自动测试系统中,并行测试程序的运行管理是系统设计中的关键问题。由于该类系统的强异构性特征和特殊的运行监管要求,常规的基于多计算机系统的任务管理机制不适于并行自动测试系统。以事务工作流描述并行测试任务运行管理模型,在...
并行自动测试系统中,并行测试程序的运行管理是系统设计中的关键问题。由于该类系统的强异构性特征和特殊的运行监管要求,常规的基于多计算机系统的任务管理机制不适于并行自动测试系统。以事务工作流描述并行测试任务运行管理模型,在此基础上,提出了基于事务工作流的并行测试任务运行管理机制,最后,给出了运行管理调度的算法实现思路。
展开更多
关键词
并行处理
自动化测试系统
任务调度
事务工作流
下载PDF
职称材料
一种基于QoS的事务工作流并发调度算法
被引量:
1
7
作者
任怡
吴泉源
+1 位作者
戴华东
吴庆波
《电子学报》
EI
CAS
CSCD
北大核心
2007年第4期621-628,共8页
并发冲突引起的连锁夭折会降低系统性能,提出了一种基于QoS的事务工作流调度算法,该算法适应异构环境需求,支持基于QoS的延迟调度优化策略和SAFE集合扩充优化策略,可根据QoS参数调整相应的调度决策,在保证分布异构环境中复杂事务工作流...
并发冲突引起的连锁夭折会降低系统性能,提出了一种基于QoS的事务工作流调度算法,该算法适应异构环境需求,支持基于QoS的延迟调度优化策略和SAFE集合扩充优化策略,可根据QoS参数调整相应的调度决策,在保证分布异构环境中复杂事务工作流并发正确性的同时减少连锁夭折.证明了算法不会引起循环等待和饿死现象,可保证调度的可串行性和可恢复性,性能模拟表明该算法适用于长期运行的事务工作流的并发调度,可有效减少连锁夭折,从而减少由此带来的性能损失.
展开更多
关键词
事务工作流
并发控制和恢复
调度算法
QOS
连锁夭折
下载PDF
职称材料
ITWM事务工作流模型研究
8
作者
闫成洋
刘强
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第z1期509-515,共7页
事务工作流是把数据库中的事务概念引入到工作流领域,在最近的工作中Derks[1]给出新的事务工作流模型,实现了工作流的过程定义与工作流的事务模型定义相分离,然而实际情况下不同的task具有不同的执行特性,所以Dersk模型中由多个task组...
事务工作流是把数据库中的事务概念引入到工作流领域,在最近的工作中Derks[1]给出新的事务工作流模型,实现了工作流的过程定义与工作流的事务模型定义相分离,然而实际情况下不同的task具有不同的执行特性,所以Dersk模型中由多个task组成的原子域不能保证是良构的.事务模型解决了这个问题,并在新的模型的基础上提出了良构性的判定方法,并对判定方法做了形式化的描述.
展开更多
关键词
事务工作流
良构性
事务工作流
模型
下载PDF
职称材料
事务工作流WfSaga及其建模工具
9
作者
王廷蔚
张晓诺
孙尚辉
《计算机与现代化》
2007年第3期5-8,共4页
以扩展事务模型Saga和Flexible为基础,引入可替换事务和平凡事务等事务种类,借用传统事务恢复机制“保存点”的思想,提出了支持分布式工作流应用的可靠事务工作流模型WfSaga,以Java图形操作为基础,设计了图形化建模工具并用基于XML的过...
以扩展事务模型Saga和Flexible为基础,引入可替换事务和平凡事务等事务种类,借用传统事务恢复机制“保存点”的思想,提出了支持分布式工作流应用的可靠事务工作流模型WfSaga,以Java图形操作为基础,设计了图形化建模工具并用基于XML的过程定义语言对模型进行了描述,最后对模型的正确性验证进行了讨论。
展开更多
关键词
事务
事务工作流
建模
XML
下载PDF
职称材料
一种基于约束的事务工作流并发控制方法
被引量:
1
10
作者
刘慧
王宁
+1 位作者
刘元元
韩晓琼
《计算机系统应用》
2011年第12期181-184,共4页
在辽河流域水环境管理中,许多业务流程操作都满足事务的特性。传统工作流系统中并发控制的实现主要是依据对共享数据项的存取控制,当用来处理事务工作流时会影响系统的效率,因为有的业务流程可能持续的时间比较长,这样它对共享数据项的...
在辽河流域水环境管理中,许多业务流程操作都满足事务的特性。传统工作流系统中并发控制的实现主要是依据对共享数据项的存取控制,当用来处理事务工作流时会影响系统的效率,因为有的业务流程可能持续的时间比较长,这样它对共享数据项的占有时间就会很长而导致其他流程不能继续流转。为解决这一问题,借助类似于处理器中指令流水的思想研究了一种事务工作流的并发控制方法,并在此基础上建立了总体设计模型,借助并发控制器和任务管理器来高效调度工作流。在保证工作流执行正确的前提下,引入约束的概念来实现事务工作流的并发控制,从而提高系统的性能和效率。
展开更多
关键词
事务
事务工作流
并发控制
约束
下载PDF
职称材料
基于Saga模型的事务工作流实现机制
11
作者
洪眉
许炜
彭卫
《兵工自动化》
2004年第5期24-26,30,共4页
基于Saga的事务工作流实现机制结合了扩展事务模型和Saga事务模型的特点。当任务执行出现异常时,需清除已执行任务产生的影响后才能终止任务的执行,其前向恢复通过异常控制机制实现,后向恢复则通过事务补偿实现。在事务全部处于初始化...
基于Saga的事务工作流实现机制结合了扩展事务模型和Saga事务模型的特点。当任务执行出现异常时,需清除已执行任务产生的影响后才能终止任务的执行,其前向恢复通过异常控制机制实现,后向恢复则通过事务补偿实现。在事务全部处于初始化状态时启动工作流流程,每个活动被依次选择执行并返回其代码,若全部成功执行则结束,若执行发生异常则后向恢复模块有效,进入事务控制模式。并构造了采用该事务工作流实现机制的工作流引擎。
展开更多
关键词
事务工作流
Saga
事务
模型
扩展
事务
模型
下载PDF
职称材料
事务工作流模型中恢复策略的研究
12
作者
陈朝旭
蒋玉明
《计算机应用与软件》
CSCD
2010年第6期159-162,215,共5页
阐述工作流中事务的起源和发展,针对目前工作流模型对事务处理方面的不足,提出一种具有事务支持的工作流过程元模型。该模型不仅支持过程的层次结构,并且引入隔离域及错误恢复属性概念,从语义的角度进行了扩展。同时,分析了事务工作流...
阐述工作流中事务的起源和发展,针对目前工作流模型对事务处理方面的不足,提出一种具有事务支持的工作流过程元模型。该模型不仅支持过程的层次结构,并且引入隔离域及错误恢复属性概念,从语义的角度进行了扩展。同时,分析了事务工作流中并发控制机制和各种调度算法,重点研究并提出了事务工作流的错误恢复策略和错误恢复算法。最后,对算法进行了实例分析,验证了该算法是可行和实用的。
展开更多
关键词
事务工作流
元模型
恢复策略
补偿
隔离域
下载PDF
职称材料
一种基于语义控制的长事务工作流模型
被引量:
1
13
作者
金佳
帖军
《计算机与数字工程》
2012年第12期50-52,共3页
在工作流系统中,长事务普遍存在,现有借鉴数据库事务处理方法的事务模型在对工作流长事务进行处理时存在着一定的局限性。为了解决工作流中长事务的共享资源访问控制和冲突解决效率等问题,在新模型中引入了语义控制协议,强调人的参与在...
在工作流系统中,长事务普遍存在,现有借鉴数据库事务处理方法的事务模型在对工作流长事务进行处理时存在着一定的局限性。为了解决工作流中长事务的共享资源访问控制和冲突解决效率等问题,在新模型中引入了语义控制协议,强调人的参与在事务处理中的重要性,并结合一致性状态和日志,能够有效的提高解决冲突的灵活性和效率、缩小事务规模和降低事务回滚的代价。
展开更多
关键词
工作流
长
事务
工作流
模型
语义控制
事务
管理
下载PDF
职称材料
工作流事务性研究综述
被引量:
6
14
作者
郝丽波
李建华
夏明伟
《计算机工程与设计》
CSCD
北大核心
2007年第13期3209-3212,共4页
阐述了工作流中事务性的起源和发展,讨论了事务工作流在建模阶段将业务模型与事务性相结合所采用的主要方法,总结了事务工作流中并发控制机制和采用的各种调度算法,研究了事务工作流的错误恢复机制,概括了广泛应用的补偿机制的研究现状...
阐述了工作流中事务性的起源和发展,讨论了事务工作流在建模阶段将业务模型与事务性相结合所采用的主要方法,总结了事务工作流中并发控制机制和采用的各种调度算法,研究了事务工作流的错误恢复机制,概括了广泛应用的补偿机制的研究现状,论述了面向Web服务工作流事务性的特点及相关研究,并展望工作流事务性未来的研究方向。
展开更多
关键词
工作流
事务
事务工作流
并发控制
调度
错误恢复
补偿
WEB服务
下载PDF
职称材料
基于依赖关系的事务工作流模型研究
被引量:
1
15
作者
高翠翠
闫成洋
王艳阳
《通信技术》
2011年第4期181-183,共3页
事务工作流是把数据库中的事务概念引入到工作流领域。典型的事务工作流由于采用向前回滚或者向后回滚的方式来保证原子性,所以对任务的事务特性和执行顺序要求过于严格,并不能很好地定义实际应用中用户对事务的各种需求。为了提高事务...
事务工作流是把数据库中的事务概念引入到工作流领域。典型的事务工作流由于采用向前回滚或者向后回滚的方式来保证原子性,所以对任务的事务特性和执行顺序要求过于严格,并不能很好地定义实际应用中用户对事务的各种需求。为了提高事务工作流的扩展性,提出了基于依赖关系进行事务工作流建模的方法,并从任务的状态出发,总结了任务之间执行顺序的依赖关系,根据依赖关系的不同类型和依赖的特性给出了调度算法。
展开更多
关键词
事务工作流
依赖关系
事务工作流
模型
原文传递
事务性工作流中的长事务处理方法研究
被引量:
1
16
作者
王睿
李从心
《计算机工程》
CAS
CSCD
北大核心
2007年第4期29-31,共3页
在具有多个应用协作以及长周期事务的复杂信息环境中,针对短事务设计的事务性工作流表现出一定的局限性。在分析了现有长事务处理方法的不足后,基于事务对象层次网络的定义,该文提出了一种长事务处理的最小原子汇集法,介绍了最小原子事...
在具有多个应用协作以及长周期事务的复杂信息环境中,针对短事务设计的事务性工作流表现出一定的局限性。在分析了现有长事务处理方法的不足后,基于事务对象层次网络的定义,该文提出了一种长事务处理的最小原子汇集法,介绍了最小原子事务汇集策略及最小原子范围的确定过程,以一个注塑模具产品开发过程的案例验证了该方法的有效性。
展开更多
关键词
事务工作流
长
事务
最小原子汇集
下载PDF
职称材料
面向长事务的事务性工作流系统的研究与实现
被引量:
3
17
作者
邹江
盛戈歆
李达
《计算机应用》
CSCD
北大核心
2003年第2期59-61,共3页
事务性工作流一直是工作流的研究热点之一,通过对saga模型和事务的状态进行分析,扩展到对工作流的状态分析,从而通过事务性工作流的状态的控制,实现事务的管理。文中提出了基于saga事务模型的一种事务性工作流引擎模型用于解决商业流程...
事务性工作流一直是工作流的研究热点之一,通过对saga模型和事务的状态进行分析,扩展到对工作流的状态分析,从而通过事务性工作流的状态的控制,实现事务的管理。文中提出了基于saga事务模型的一种事务性工作流引擎模型用于解决商业流程中的长事务问题。
展开更多
关键词
事务
性
工作流
系统
数据库
事务
模型
Saga模型
工作流
管理系统
有穷状态机
下载PDF
职称材料
工作流事务的形式化描述和实现
被引量:
2
18
作者
邹金安
谭庆平
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2009年第5期519-524,共6页
工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在...
工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法.这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿.形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义.
展开更多
关键词
工作流
事务
管理
长
事务
一致点
事务
补偿
下载PDF
职称材料
工作流事务原子性研究
被引量:
1
19
作者
员亚利
陈红梅
《计算机应用》
CSCD
北大核心
2011年第7期1765-1768,共4页
传统的工作流管理系统事务处理能力不足,使得系统在失败时不能尽快恢复流程的执行。实现事务工作流原型系统,通过扩充建模功能,在建模阶段指定失败处理模式,当任务执行失败时,系统自动调用事务处理算法保证工作流事务的放松的原子性及...
传统的工作流管理系统事务处理能力不足,使得系统在失败时不能尽快恢复流程的执行。实现事务工作流原型系统,通过扩充建模功能,在建模阶段指定失败处理模式,当任务执行失败时,系统自动调用事务处理算法保证工作流事务的放松的原子性及数据的一致性和正确性,减少人工参与决策的工作。实验表明,引入了事务处理功能的工作流系统具有任务执行失败后快速恢复的能力。
展开更多
关键词
工作流
事务
恢复
原子性
失败处理模式
安全的保护点
下载PDF
职称材料
一种乐观嵌套工作流事务模型
被引量:
5
20
作者
董云卫
郝克刚
《计算机科学》
CSCD
北大核心
2005年第8期90-93,共4页
为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠...
为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。
展开更多
关键词
乐观嵌套
事务
模型
工作流
事务
扩展信牌驱动分布式
工作流
计算模型
嵌套
事务
模型
工作流
模型
并发控制协议
操作原语
事务
管理
控制理论
活动类型
下载PDF
职称材料
题名
事务工作流的建模和分析
被引量:
26
1
作者
丁柯
金蓓弘
冯玉琳
机构
中国科学院软件研究所计算机科学重点实验室
中国科学院软件研究所软件工程技术中心
出处
《计算机学报》
EI
CSCD
北大核心
2003年第10期1304-1311,共8页
基金
国家自然科学基金重点项目 ( 6983 3 0 3 0 )
国家"九七三"重点基础研究发展规划项目 (G19990 3 5 80 7)资助
文摘
事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作流的非良构性 .该文给出了事务工作流模型及良构性的形式化定义 ,提出了一个良构性判断定理 ,通过一种构造性的方法来有效地验证事务工作流的良构性 ,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器 .
关键词
事务工作流
建模
事务
序列
可补偿特性
可重复特性
软件系统
Keywords
Computer supported cooperative work
Data flow analysis
Models
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种层次式的事务工作流失效恢复算法
被引量:
9
2
作者
任怡
吴泉源
贾焰
机构
国防科技大学计算机学院博士生队
出处
《电子学报》
EI
CAS
CSCD
北大核心
2005年第2期317-321,共5页
基金
国家自然科学基金项目 (No.90 1 0 4 0 2 0 )
国家 863重点课题 (No .2 0 0 1AA1 1 30 2 0 )
文摘
部分补偿和完全补偿是事务工作流失效恢复的传统补偿方法 ,对于长期运行且结构复杂的事务工作流 ,失效时需要补偿至静态定义的某一活动甚至起始活动 ,因此代价较大 .给出了事务工作流的概念模型 ,提出了一种层次式的失效恢复算法 .与传统方法相比 ,允许事务性或者非事务性子过程同时存在 ;将工作流看作由嵌套结构的子过程组成 ,而不是一个平坦流图 ;基于执行历史而不是工作流定义进行补偿 ,可简化循环结构的恢复 .该算法针对活动的恢复策略进行层次式的向上规约处理 ,动态确定补偿终止点 ,可有效减小补偿域 .证明了算法的正确性 ,性能分析表明其性能通常优于非层次的失效恢复算法 ,讨论了算法的实现 .
关键词
事务工作流
失效恢复
层次式
补偿
Keywords
transactional workflow
failure recovery
hierarchical
compensation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于混合粒度冲突检测的事务工作流调度算法
被引量:
9
3
作者
丁柯
魏峻
冯玉琳
机构
中国科学院软件研究所计算机科学重点实验室
中国科学院软件研究所软件工程技术中心
出处
《软件学报》
EI
CSCD
北大核心
2003年第3期369-375,共7页
基金
Supported by the National Natural Science Foundation of China under Grant No.69833030 (国家自然科学基金)
the National High-Tech Research and Development Plan of China under Grant Nos.2001AA113010
+1 种基金
2001AA414020 (国家高技术研究发展计划)
the National
文摘
事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.
关键词
混合粒度冲突检测
事务工作流
调度算法
计算机软件
并发控制
Keywords
transactional workflow
concurrency control
recovery
scheduling protocol
locking granularity
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于家态的多事务工作流完整性分析
被引量:
4
4
作者
庞善臣
闫春钢
蒋昌俊
机构
同济大学计算机科学与工程系
出处
《电子学报》
EI
CAS
CSCD
北大核心
2006年第6期1163-1168,共6页
基金
国家973重点基础研究发展规划(No.2003C13316902
No.2004CB318001-3)
+4 种基金
国家自然科学基金(No.90412013
No.60503002
No.60534060)
上海市基础研究重点项目(05JC14063
03JC14071)
文摘
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.
关键词
PETRI网
家态
工作流
多
事务工作流
网
完整性
Keywords
Petri net
home state
workflow
multi-cases workflow model
soundness
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于隔离域的事务工作流并发控制
被引量:
3
5
作者
郝丽波
李建华
机构
中南大学信息科学与工程学院
出处
《计算机工程与设计》
CSCD
北大核心
2008年第1期199-202,共4页
文摘
事务工作流系统中存在多个流程的多个实例同时并发执行的情况,所以多个活动同时访问共享资源时出现访问冲突。为保证流程的正确执行和提高活动的并发度,基于事务的隔离性特征,提出了隔离域的概念和相关属性,并在建模阶段采用业务流程和事务需求分开定制的方式,通过设置隔离域的隔离属性来控制各流程实例并发活动的执行,并且给出了基于隔离域的并发控制算法,从而有效地提高了流程和活动的并发度,并避免丢失修改等现象的发生。
关键词
事务工作流
并发
隔离
隔离域
隔离级别
Keywords
transactional workflow
concurrency
isolation
isolation spheres
isolation level
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于事务工作流的并行测试程序运行管理机制
被引量:
2
6
作者
陈粤
孟晓风
宋宏江
机构
北京航空航天大学仪器科学与光电工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2007年第21期103-105,120,共4页
文摘
并行自动测试系统中,并行测试程序的运行管理是系统设计中的关键问题。由于该类系统的强异构性特征和特殊的运行监管要求,常规的基于多计算机系统的任务管理机制不适于并行自动测试系统。以事务工作流描述并行测试任务运行管理模型,在此基础上,提出了基于事务工作流的并行测试任务运行管理机制,最后,给出了运行管理调度的算法实现思路。
关键词
并行处理
自动化测试系统
任务调度
事务工作流
Keywords
parallel processing
ATS
task scheduling
Transaction Workflow
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于QoS的事务工作流并发调度算法
被引量:
1
7
作者
任怡
吴泉源
戴华东
吴庆波
机构
国防科学技术大学计算机学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第4期621-628,共8页
基金
国家自然科学基金(No.60603063)
国家863高技术研究发展计划基金(No.2004AA1Z2240)
文摘
并发冲突引起的连锁夭折会降低系统性能,提出了一种基于QoS的事务工作流调度算法,该算法适应异构环境需求,支持基于QoS的延迟调度优化策略和SAFE集合扩充优化策略,可根据QoS参数调整相应的调度决策,在保证分布异构环境中复杂事务工作流并发正确性的同时减少连锁夭折.证明了算法不会引起循环等待和饿死现象,可保证调度的可串行性和可恢复性,性能模拟表明该算法适用于长期运行的事务工作流的并发调度,可有效减少连锁夭折,从而减少由此带来的性能损失.
关键词
事务工作流
并发控制和恢复
调度算法
QOS
连锁夭折
Keywords
transactional workflow
concurrency control and recovery
schednling algorithm
QoS
cascading abort
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
ITWM事务工作流模型研究
8
作者
闫成洋
刘强
机构
清华大学
出处
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第z1期509-515,共7页
基金
国家高技术研究发展计划(2004AA413120)
文摘
事务工作流是把数据库中的事务概念引入到工作流领域,在最近的工作中Derks[1]给出新的事务工作流模型,实现了工作流的过程定义与工作流的事务模型定义相分离,然而实际情况下不同的task具有不同的执行特性,所以Dersk模型中由多个task组成的原子域不能保证是良构的.事务模型解决了这个问题,并在新的模型的基础上提出了良构性的判定方法,并对判定方法做了形式化的描述.
关键词
事务工作流
良构性
事务工作流
模型
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
事务工作流WfSaga及其建模工具
9
作者
王廷蔚
张晓诺
孙尚辉
机构
济南大学管理学院
日照职业技术学院信息科学与工程学院
曲阜师范大学计算机科学学院
出处
《计算机与现代化》
2007年第3期5-8,共4页
文摘
以扩展事务模型Saga和Flexible为基础,引入可替换事务和平凡事务等事务种类,借用传统事务恢复机制“保存点”的思想,提出了支持分布式工作流应用的可靠事务工作流模型WfSaga,以Java图形操作为基础,设计了图形化建模工具并用基于XML的过程定义语言对模型进行了描述,最后对模型的正确性验证进行了讨论。
关键词
事务
事务工作流
建模
XML
Keywords
transaction
transactional workflow
modeling
XML
分类号
TP319.7 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于约束的事务工作流并发控制方法
被引量:
1
10
作者
刘慧
王宁
刘元元
韩晓琼
机构
中国科学院沈阳计算技术研究所
中国科学院研究生院
北京大学信息科学技术学院
出处
《计算机系统应用》
2011年第12期181-184,共4页
基金
国家水体污染控制与治理科技重大专项(2009ZX07528-006-05)
文摘
在辽河流域水环境管理中,许多业务流程操作都满足事务的特性。传统工作流系统中并发控制的实现主要是依据对共享数据项的存取控制,当用来处理事务工作流时会影响系统的效率,因为有的业务流程可能持续的时间比较长,这样它对共享数据项的占有时间就会很长而导致其他流程不能继续流转。为解决这一问题,借助类似于处理器中指令流水的思想研究了一种事务工作流的并发控制方法,并在此基础上建立了总体设计模型,借助并发控制器和任务管理器来高效调度工作流。在保证工作流执行正确的前提下,引入约束的概念来实现事务工作流的并发控制,从而提高系统的性能和效率。
关键词
事务
事务工作流
并发控制
约束
Keywords
transaction
transactional workflow
concurrency control
constraint
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Saga模型的事务工作流实现机制
11
作者
洪眉
许炜
彭卫
机构
华中科技大学电子与信息工程系
出处
《兵工自动化》
2004年第5期24-26,30,共4页
文摘
基于Saga的事务工作流实现机制结合了扩展事务模型和Saga事务模型的特点。当任务执行出现异常时,需清除已执行任务产生的影响后才能终止任务的执行,其前向恢复通过异常控制机制实现,后向恢复则通过事务补偿实现。在事务全部处于初始化状态时启动工作流流程,每个活动被依次选择执行并返回其代码,若全部成功执行则结束,若执行发生异常则后向恢复模块有效,进入事务控制模式。并构造了采用该事务工作流实现机制的工作流引擎。
关键词
事务工作流
Saga
事务
模型
扩展
事务
模型
Keywords
Transactional workflows (TWF)
Saga transaction model
Extended transaction model
分类号
TP315 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
事务工作流模型中恢复策略的研究
12
作者
陈朝旭
蒋玉明
机构
四川大学计算机学院
出处
《计算机应用与软件》
CSCD
2010年第6期159-162,215,共5页
文摘
阐述工作流中事务的起源和发展,针对目前工作流模型对事务处理方面的不足,提出一种具有事务支持的工作流过程元模型。该模型不仅支持过程的层次结构,并且引入隔离域及错误恢复属性概念,从语义的角度进行了扩展。同时,分析了事务工作流中并发控制机制和各种调度算法,重点研究并提出了事务工作流的错误恢复策略和错误恢复算法。最后,对算法进行了实例分析,验证了该算法是可行和实用的。
关键词
事务工作流
元模型
恢复策略
补偿
隔离域
Keywords
Transactional workflow Meta-model Recovery strategy Compensation Isolation sphere
分类号
TP399 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
一种基于语义控制的长事务工作流模型
被引量:
1
13
作者
金佳
帖军
机构
中南民族大学计算机学院
出处
《计算机与数字工程》
2012年第12期50-52,共3页
基金
中南民族大学中央高校基本科研业务费专项资金项目(编号:CZY11007)资助
文摘
在工作流系统中,长事务普遍存在,现有借鉴数据库事务处理方法的事务模型在对工作流长事务进行处理时存在着一定的局限性。为了解决工作流中长事务的共享资源访问控制和冲突解决效率等问题,在新模型中引入了语义控制协议,强调人的参与在事务处理中的重要性,并结合一致性状态和日志,能够有效的提高解决冲突的灵活性和效率、缩小事务规模和降低事务回滚的代价。
关键词
工作流
长
事务
工作流
模型
语义控制
事务
管理
Keywords
workflow long transaction
workflow model
semantic control
transaction management
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
工作流事务性研究综述
被引量:
6
14
作者
郝丽波
李建华
夏明伟
机构
中南大学信息科学与工程学院
中南大学现代教育技术中心
出处
《计算机工程与设计》
CSCD
北大核心
2007年第13期3209-3212,共4页
文摘
阐述了工作流中事务性的起源和发展,讨论了事务工作流在建模阶段将业务模型与事务性相结合所采用的主要方法,总结了事务工作流中并发控制机制和采用的各种调度算法,研究了事务工作流的错误恢复机制,概括了广泛应用的补偿机制的研究现状,论述了面向Web服务工作流事务性的特点及相关研究,并展望工作流事务性未来的研究方向。
关键词
工作流
事务
事务工作流
并发控制
调度
错误恢复
补偿
WEB服务
Keywords
workflow
transaction
transactional workflow
concurrency control
scheduling
failure recovery
compensation
web service
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于依赖关系的事务工作流模型研究
被引量:
1
15
作者
高翠翠
闫成洋
王艳阳
机构
西安通信学院基础部
清华大学软件学院
西安建筑科技大学理学院
出处
《通信技术》
2011年第4期181-183,共3页
文摘
事务工作流是把数据库中的事务概念引入到工作流领域。典型的事务工作流由于采用向前回滚或者向后回滚的方式来保证原子性,所以对任务的事务特性和执行顺序要求过于严格,并不能很好地定义实际应用中用户对事务的各种需求。为了提高事务工作流的扩展性,提出了基于依赖关系进行事务工作流建模的方法,并从任务的状态出发,总结了任务之间执行顺序的依赖关系,根据依赖关系的不同类型和依赖的特性给出了调度算法。
关键词
事务工作流
依赖关系
事务工作流
模型
Keywords
transactional workflow
dependency
transactional workflow model
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
原文传递
题名
事务性工作流中的长事务处理方法研究
被引量:
1
16
作者
王睿
李从心
机构
上海交通大学模具CAD国家工程研究中心
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第4期29-31,共3页
文摘
在具有多个应用协作以及长周期事务的复杂信息环境中,针对短事务设计的事务性工作流表现出一定的局限性。在分析了现有长事务处理方法的不足后,基于事务对象层次网络的定义,该文提出了一种长事务处理的最小原子汇集法,介绍了最小原子事务汇集策略及最小原子范围的确定过程,以一个注塑模具产品开发过程的案例验证了该方法的有效性。
关键词
事务工作流
长
事务
最小原子汇集
Keywords
Transactional workflow
Long lived transaction (LLT)
Minimum atom aggregation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向长事务的事务性工作流系统的研究与实现
被引量:
3
17
作者
邹江
盛戈歆
李达
机构
华中科技大学电子与信息工程系
出处
《计算机应用》
CSCD
北大核心
2003年第2期59-61,共3页
基金
十五国家科技攻关计划(2001BA202A01)
文摘
事务性工作流一直是工作流的研究热点之一,通过对saga模型和事务的状态进行分析,扩展到对工作流的状态分析,从而通过事务性工作流的状态的控制,实现事务的管理。文中提出了基于saga事务模型的一种事务性工作流引擎模型用于解决商业流程中的长事务问题。
关键词
事务
性
工作流
系统
数据库
事务
模型
Saga模型
工作流
管理系统
有穷状态机
Keywords
saga transaction model
transactional workflow
WFMS
finite state machine
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
工作流事务的形式化描述和实现
被引量:
2
18
作者
邹金安
谭庆平
机构
莆田学院电子信息工程系
国防科技大学计算机学院
出处
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2009年第5期519-524,共6页
基金
福建省科技厅自然科学基金资助项目(2007J0187)
文摘
工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法.这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿.形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义.
关键词
工作流
事务
管理
长
事务
一致点
事务
补偿
Keywords
workflow transaction management
long transaction
consistent point
transaction compensation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
工作流事务原子性研究
被引量:
1
19
作者
员亚利
陈红梅
机构
洛阳理工学院计算机与信息工程系
洛阳理工学院电气工程与自动化系
出处
《计算机应用》
CSCD
北大核心
2011年第7期1765-1768,共4页
基金
洛阳理工学院青年基金资助项目(2009QZ29)
文摘
传统的工作流管理系统事务处理能力不足,使得系统在失败时不能尽快恢复流程的执行。实现事务工作流原型系统,通过扩充建模功能,在建模阶段指定失败处理模式,当任务执行失败时,系统自动调用事务处理算法保证工作流事务的放松的原子性及数据的一致性和正确性,减少人工参与决策的工作。实验表明,引入了事务处理功能的工作流系统具有任务执行失败后快速恢复的能力。
关键词
工作流
事务
恢复
原子性
失败处理模式
安全的保护点
Keywords
workflow transaction
recovery
atomicity
failure mode
safe save point
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
一种乐观嵌套工作流事务模型
被引量:
5
20
作者
董云卫
郝克刚
机构
西北工业大学计算机学院
西北大学计算机科学系
出处
《计算机科学》
CSCD
北大核心
2005年第8期90-93,共4页
文摘
为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。
关键词
乐观嵌套
事务
模型
工作流
事务
扩展信牌驱动分布式
工作流
计算模型
嵌套
事务
模型
工作流
模型
并发控制协议
操作原语
事务
管理
控制理论
活动类型
Keywords
Optimistic nested transaction model, Workflow transaction, Extend xinpai driven distributed workflow model
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
TP399 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
事务工作流的建模和分析
丁柯
金蓓弘
冯玉琳
《计算机学报》
EI
CSCD
北大核心
2003
26
下载PDF
职称材料
2
一种层次式的事务工作流失效恢复算法
任怡
吴泉源
贾焰
《电子学报》
EI
CAS
CSCD
北大核心
2005
9
下载PDF
职称材料
3
基于混合粒度冲突检测的事务工作流调度算法
丁柯
魏峻
冯玉琳
《软件学报》
EI
CSCD
北大核心
2003
9
下载PDF
职称材料
4
基于家态的多事务工作流完整性分析
庞善臣
闫春钢
蒋昌俊
《电子学报》
EI
CAS
CSCD
北大核心
2006
4
下载PDF
职称材料
5
基于隔离域的事务工作流并发控制
郝丽波
李建华
《计算机工程与设计》
CSCD
北大核心
2008
3
下载PDF
职称材料
6
基于事务工作流的并行测试程序运行管理机制
陈粤
孟晓风
宋宏江
《计算机工程与应用》
CSCD
北大核心
2007
2
下载PDF
职称材料
7
一种基于QoS的事务工作流并发调度算法
任怡
吴泉源
戴华东
吴庆波
《电子学报》
EI
CAS
CSCD
北大核心
2007
1
下载PDF
职称材料
8
ITWM事务工作流模型研究
闫成洋
刘强
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2005
0
下载PDF
职称材料
9
事务工作流WfSaga及其建模工具
王廷蔚
张晓诺
孙尚辉
《计算机与现代化》
2007
0
下载PDF
职称材料
10
一种基于约束的事务工作流并发控制方法
刘慧
王宁
刘元元
韩晓琼
《计算机系统应用》
2011
1
下载PDF
职称材料
11
基于Saga模型的事务工作流实现机制
洪眉
许炜
彭卫
《兵工自动化》
2004
0
下载PDF
职称材料
12
事务工作流模型中恢复策略的研究
陈朝旭
蒋玉明
《计算机应用与软件》
CSCD
2010
0
下载PDF
职称材料
13
一种基于语义控制的长事务工作流模型
金佳
帖军
《计算机与数字工程》
2012
1
下载PDF
职称材料
14
工作流事务性研究综述
郝丽波
李建华
夏明伟
《计算机工程与设计》
CSCD
北大核心
2007
6
下载PDF
职称材料
15
基于依赖关系的事务工作流模型研究
高翠翠
闫成洋
王艳阳
《通信技术》
2011
1
原文传递
16
事务性工作流中的长事务处理方法研究
王睿
李从心
《计算机工程》
CAS
CSCD
北大核心
2007
1
下载PDF
职称材料
17
面向长事务的事务性工作流系统的研究与实现
邹江
盛戈歆
李达
《计算机应用》
CSCD
北大核心
2003
3
下载PDF
职称材料
18
工作流事务的形式化描述和实现
邹金安
谭庆平
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2009
2
下载PDF
职称材料
19
工作流事务原子性研究
员亚利
陈红梅
《计算机应用》
CSCD
北大核心
2011
1
下载PDF
职称材料
20
一种乐观嵌套工作流事务模型
董云卫
郝克刚
《计算机科学》
CSCD
北大核心
2005
5
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部