Web服务组合的层次化建模

发布时间：2019-04-02 21:14

【摘要】：目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中scope、compensation、faultHandlers和terminationHandlers几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。
[Abstract]:Aim to formally describe the Web service composition process and lay the foundation for better use of tools and existing methods to verify and test Web service composition. Methods Colored Petri nets were used to model each activity of BPEL. The interaction of scope,compensation,faultHandlers and terminationHandlers in BPEL was analyzed. The error handling mechanism and compensation mechanism of BPEL process were analyzed. From the point of view of net resource flow, the existing hierarchical colored Petri net definition is perfected, and the hierarchical relation of BPEL process is mapped to the hierarchical relationship of hierarchical colored Petri net. Results the definition of hierarchical colored Petri net is improved and a hierarchical modeling method of Web service composition is proposed. Conclusion the hierarchical construction of Web service composition model is a method that can be used in large-scale BPEL processes. The constructed model is conducive to analyzing Web service composition from the abstract level and the detail.
【作者单位】： 西安建筑科技大学理学院;西安电子科技大学软件工程研究所;
【基金】：国家十一五国防预研基金资助项目(513060601) 陕西省教育厅基金资助项目(11JK1068)
【分类号】：TP393.09

【共引文献】

相关期刊论文 前4条

1 刘悦;等价标识在谓词/变迁网系统可达树规模缩减中的应用[J];山东科技大学学报(自然科学版);1997年04期

2 郝克刚;开放网—交互式并行系统的模型[J];西北大学学报(自然科学版);1997年06期

3 葛玮，王斌君，郝克刚;一种基于Petri网的半形式化面向对象的开发方法[J];西北大学学报(自然科学版);1995年05期

4 郝克刚,王斌君;非确定Petri网[J];小型微型计算机系统;2003年03期

相关博士学位论文 前2条

1 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年

2 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年

【二级参考文献】

相关期刊论文 前1条

1 郝克刚;开放网—交互式并行系统的模型[J];西北大学学报(自然科学版);1997年06期

【相似文献】

相关期刊论文 前10条

1 骆翔宇;谭征;苏开乐;吴立军;;一种基于认知模型检测的Web服务组合验证方法[J];计算机学报;2011年06期

2 黄亮;姚放吾;金仙力;;Apache ODE环境下Web服务组合技术的研究[J];计算机技术与发展;2011年07期

3 刘卫红;周义莲;;强化学习方法在Web服务组合中的应用比较研究[J];计算机应用与软件;2011年07期

4 蔡虹;胡云;李存华;;一种基于A*算法的Web Services动态组合策略[J];微电子学与计算机;2011年09期

5 王志坚;李雯睿;杨种学;张鹏程;;基于uMSD的Web服务组合验证方法研究[J];计算机科学;2011年09期

6 夏妍;;基于扩展颜色Petri网的Web服务组合建模及应用[J];电脑知识与技术;2011年21期

7 房丙午;季红梅;汪永涛;;服务请求驱动的语义Web服务组合方法[J];计算机系统应用;2011年08期

8 齐连永;窦万春;;跨组织协同中基于局部服务质量优化的Web服务组合方法[J];计算机集成制造系统;2011年08期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前6条

1 刘波;吴家铸;;Web服务组合分布式协调模型研究[A];2006年全国开放式分布与并行计算学术会议论文集（二）[C];2006年

2 张功源;李必信;邱栋;吉顺慧;;一种基于并发的BPEL控制流模型的分析及验证[A];第六届中国测试学术会议论文集[C];2010年

3 何涛;缪淮扣;钱忠胜;;基于π-演算的web服务流的分析与建模(英文)[A];全国语域web与本体能研讨会论文集[C];2006年

4 仲晶;黄志球;;面向服务质量的Web服务选择方法：研究综述[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集（下）[C];2008年

5 郑栋;张育平;;基于语义的动态Web服务组合系统架构[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集（下）[C];2008年

6 陈步桥;徐涛;;一种基于BPEL加入语义的动态服务组合框架[A];中国通信学会第六届学术年会论文集（上）[C];2009年

相关博士学位论文 前10条

1 冯名正;Web服务组合关键技术研究[D];东南大学;2006年

2 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

3 于守健;基于Web服务组合的业务流程集成关键技术研究[D];东华大学;2005年

4 辜希武;Web服务组合形式化模型研究[D];华中科技大学;2007年

5 康辉;基于PI-演算的CPN在移动通信服务建模的研究与应用[D];吉林大学;2008年

6 门鹏;基于Petri网的Web服务组合相关技术研究[D];西安电子科技大学;2009年

7 刘兵;基于Web服务组合的网格工作流研究[D];中国科学技术大学;2007年

8 成睿星;基于范例推理技术的服务组合研究[D];北京邮电大学;2008年

9 吴江霞;Web组合服务QoS属性预测方法研究[D];北京邮电大学;2008年

10 童红霞;基于Agent的Web服务组合技术研究[D];上海交通大学;2009年

相关硕士学位论文 前10条

1 钱忠山;基于BPEL的医疗信息交换系统[D];哈尔滨工业大学;2011年

2 黄宇;基于BPEL的服务组合动态优化机制研究[D];重庆大学;2012年

3 李晶睿;数据可视化的Web服务及其组合的研究与开发[D];武汉理工大学;2007年

4 陈旭晖;基于规划的语义Web服务组合技术研究[D];福州大学;2006年

5 杨秀丽;基于有色Petri网的Web服务组合[D];吉林大学;2007年

6 贾志淳;基于Pi演算的Web服务组合兼容性验证方法研究[D];大连海事大学;2008年

7 宋英杰;基于OCL的Web服务组合形式化约束研究[D];大连海事大学;2009年

8 周如民;BPEL引擎及动态恢复机制的研究与实现[D];西安电子科技大学;2009年

9 孙长俊;Web服务组合关系的研究与实现[D];河海大学;2007年

10 王赫;基于着色赋时Petri网的Web服务组合流程建模研究[D];大连海事大学;2008年

，

本文编号：2452927