国家部委预研基金(513060601)

作品数：2被引量：8H指数：1
导出分析报告
相关作者：陈胜鲍亮陈平胡圣明王萌更多>>
相关机构：西安电子科技大学更多>>
相关期刊：《西安电子科技大学学报》更多>>
相关主题：业务流程执行语言BPEL流程BPEL片段死锁检测更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
BPEL流程静态优化技术研究被引量：1
《西安电子科技大学学报》2010年第1期33-40,共8页鲍亮 陈胜 宋胜利 陈平 胡圣明 褚华 
"十一五"国家部委预研项目资助项目(513060601)
提出了一种基于同步和并发分析的业务流程执行语言(BPEL)流程静态优化算法.该算法首先利用同步分析技术对流程中的同步结构进行处理:细化流程的同步粒度、删除冗余的同步依赖和增大流程的并发度;然后采用程序依赖图对流程进行数据流与...
关键词：业务流程执行语言 静态优化算法 同步分析 并发分析 
BPEL流程数据竞争和死锁检测算法研究被引量：7
《西安电子科技大学学报》2008年第6期1056-1062,1068,共8页陈胜 鲍亮 陈平 胡圣明 王萌 
国家"十一五"国家部委预研基金资助(513060601);研究生创新基金资助(05009)
针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁;通过求BPEL片段图中...
关键词：业务流程执行语言 BPEL片段图 数据竞争检测 死锁检测 约束求解 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部