| Web服务组合的层次化建模 |
| |
| 引用本文： | 王玉英,陈平. Web服务组合的层次化建模[J]. 西北大学学报(自然科学版), 2013, 0(1): 39-44 |
| |
| 作者姓名： | 王玉英 陈平 |
| |
| 作者单位： | 西安建筑科技大学理学院;西安电子科技大学软件工程研究所 |
| |
| 基金项目： | 国家十一五国防预研基金资助项目(513060601);陕西省教育厅基金资助项目(11JK1068) |
| |
| 摘 要： | 目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。
|
| 关 键 词： | Web服务组合 BPEL 层次化有色Petri网 建模 |
Hierarchical models of Web service composition |
| |
| WANG Yu-ying,CHEN Ping. Hierarchical models of Web service composition[J]. Journal of Northwest University(Natural Science Edition), 2013, 0(1): 39-44 |
| |
| Authors: | WANG Yu-ying CHEN Ping |
| |
| Affiliation: | 1.Science School,Xi′an Technology and Architecture University,Xi′an 710055,China; 2.Software Engineering Institute,Xidian University,Xi′an 710071,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
