BPEL谓词约束建模及可行路径分析
为了解决由于缺乏谓词约束表达式的建模和分析带来的BPEL中路径分析不准确问题，提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法，并在此基础上提出了BPEL可行路径的分析算法。与以往BPEL建模中大多仅考虑结构化行为不同，该方法系统分析了数据封装对执行路径的影响。该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响，采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模，并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法。最后，结合案例分析了该方法的可行性。
服务组合 BPEL 谓词约束 XPath 路径分析
王进 黄志球 唐佳俊 陈哲 肖芳雄
南京航空航天大学计算机科学与技术学院 南京 210016 广西财经学院信息与统计学院 南宁 530003
国内会议
南京
中文
1-9
2012-10-20（万方平台首次上网日期，不代表论文的发表时间）