| BPEL谓词约束建模及可行路径分析 |
| |
| 引用本文： | 王进,黄志球,唐佳俊,陈哲,肖芳雄.BPEL谓词约束建模及可行路径分析[J].计算机研究与发展,2014(4). |
| |
| 作者姓名： | 王进 黄志球 唐佳俊 陈哲 肖芳雄 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院;广西财经学院信息与统计学院; |
| |
| 基金项目： | 国家自然科学基金项目(61272083,61262002,61100034);江苏省普通高校研究生科研创新计划资助项目(CXZZ11_0218);中央高校基本科研业务费专项青年科技创新基金项目(NS2012129) |
| |
| 摘 要： | 为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language,BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出了BPEL可行路径的分析算法.与以往BPEL建模中大多仅考虑结构化行为不同,该方法系统分析了数据封装对执行路径的影响.该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响,采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模,并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法.最后,结合案例分析了该方法的可行性.
|
| 关 键 词： | 服务组合 业务流程执行语言 谓词约束 XPath 路径分析 |
| 本文献已被 CNKI 等数据库收录！ |
|
