【摘 要】
：
为了解决由于缺乏谓词约束表达式的建模和分析带来的BPEL中路径分析不准确问题，提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法，并在此基础上提出了BPEL可行路
【机 构】
：
南京航空航天大学计算机科学与技术学院 南京 210016
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
为了解决由于缺乏谓词约束表达式的建模和分析带来的BPEL中路径分析不准确问题，提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法，并在此基础上提出了BPEL可行路径的分析算法。与以往BPEL建模中大多仅考虑结构化行为不同，该方法系统分析了数据封装对执行路径的影响。该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响，采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模，并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法。最后，结合案例分析了该方法的可行性。
其他文献
每个人心中都有属于自己的完美定义,完美永远是相对的,但是追求完美的心却是绝对的。“曹曦文细节成就完美沃尔玛的广告费只占总运营费的0.4%,广告里的模特不是自家店员,就是
在目前网络越来越开放的计算环境中，避免计算机中用户隐私数据的泄漏是研究人员关注的焦点。当前操作系统越来越复杂，恶意程序很容易通过其漏洞劫持操作系统，从而获取用户正
2020年医保目录调整结果已于12月28日对外公布.本轮医保目录调整,共对162种药品进行了谈判,其中119种谈判成功,谈判成功率为73.46％.谈判成功的药品平均降价50.64％,新目录将自20
中断是嵌入式系统进行实时响应的重要机制。目前还不存在一种有效地中断驱动系统设计方法来保证系统的时间约束总能够得到满足。因此，在设计完成后需要对系统能否满足时间约束
在日常生活中常有这种现象:在遇上倒霉的事情以后,常会有“一而再,再而三”的祸不单行的情况。有人就说这是“命中注定”,其实,这和人的心境有关。人的心境有积极和消极之分
随着医疗卫生事业的不断发展,X线机广泛地服务于基层卫生院,受检人数也愈来愈多,由此而带来的对人体健康的危害也越来越引起人们的关注。因此,搞好医用X线的卫生防护管理,探
该品种由日本国农林水产省园艺试验场安芸津支场育成，１９９７年８月通过品种审定，因其果皮鲜红而被定名为“夕红”。 该品种树势中等，树姿开张，中度直立。枝条发生稍密，发育技长，枝梢赤褐色
不管是“旧”零售,还是“新”零售,不管是走“老”路还是开“新”路抑或是改良主义,只要能够增强药店的核心竞争力,提升药店的销售额和利润率,为药店增加新的利润增长点——
【摘 要】投标工作是一项综合性的工作，涉及面广，内容多而杂，而且往往编标时间比较短，为了能够在时间短、条件有限的情况下按时、按质地编制好投标文件，在投入足够的人力、物力的同时，根据招投标工作的特点，须注意以下几条编制投标文件的注意事项。 【关键词】编制；投标文件；注意事项 一、详细阅读招标文件 招标文件主要包括投标邀请书、投标须知〔含资料表和修改表及附件（工程说明与主要工程数量）〕、合同通用