公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

BPEL流程静态优化技术研究被引量：1: 2010年; 提出了一种基于同步和并发分析的业务流程执行语言(BPEL)流程静态优化算法.该算法首先利用同步分析技术对流程中的同步结构进行处理:细化流程的同步粒度、删除冗余的同步依赖和增大流程的并发度;然后采用程序依赖图对流程进行数据流与控制流分析,利用节点合并-重组算法减少流程中顺序活动的数量,进一步增大流程的并发度.实验表明,该算法能够有效提高流程的执行效率,减少流程的执行时间.; 鲍亮陈胜宋胜利陈平胡圣明褚华; 关键词：业务流程执行语言

BPEL流程数据竞争和死锁检测算法研究被引量：8: 2008年; 针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁;通过求BPEL片段图中节点间的可达性以判定节点间的可并发性来检测流程中的数据竞争.该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性.实际应用结果表明,该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性.; 陈胜鲍亮陈平胡圣明王萌; 关键词：业务流程执行语言死锁检测

全选清除导出

共1页<1>

国家部委预研基金(513060601)