计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2014年
4期
838-847
,共10页
王进%黄志球%唐佳俊%陈哲%肖芳雄
王進%黃誌毬%唐佳俊%陳哲%肖芳雄
왕진%황지구%당가준%진철%초방웅
服务组合%业务流程执行语言%谓词约束%XPath%路径分析
服務組閤%業務流程執行語言%謂詞約束%XPath%路徑分析
복무조합%업무류정집행어언%위사약속%XPath%로경분석
service composition%business process execution language (BPEL)%predicate constraint%XPath%path analysis
为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language,BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出了BPEL可行路径的分析算法.与以往BPEL建模中大多仅考虑结构化行为不同,该方法系统分析了数据封装对执行路径的影响.该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响,采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模,并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法.最后,结合案例分析了该方法的可行性.
為瞭解決由于缺乏謂詞約束錶達式的建模和分析帶來的業務流程執行語言(business process execution language,BPEL)中路徑分析不準確問題,提齣瞭一種針對BPEL中XPath錶達式的謂詞約束分析和建模方法,併在此基礎上提齣瞭BPEL可行路徑的分析算法.與以往BPEL建模中大多僅攷慮結構化行為不同,該方法繫統分析瞭數據封裝對執行路徑的影響.該方法綜閤攷慮BPEL中錶達式的語法結構以及結構化活動對BPEL中變量的影響,採用擴展行為影響的變量結構樹對BPEL中原子數據錶達式進行建模,併進一步攷慮瞭複閤謂詞錶達式的建模和基于此模型的BPEL可行路徑分析方法.最後,結閤案例分析瞭該方法的可行性.
위료해결유우결핍위사약속표체식적건모화분석대래적업무류정집행어언(business process execution language,BPEL)중로경분석불준학문제,제출료일충침대BPEL중XPath표체식적위사약속분석화건모방법,병재차기출상제출료BPEL가행로경적분석산법.여이왕BPEL건모중대다부고필결구화행위불동,해방법계통분석료수거봉장대집행로경적영향.해방법종합고필BPEL중표체식적어법결구이급결구화활동대BPEL중변량적영향,채용확전행위영향적변량결구수대BPEL중원자수거표체식진행건모,병진일보고필료복합위사표체식적건모화기우차모형적BPEL가행로경분석방법.최후,결합안례분석료해방법적가행성.
