| Web服务的替换分析 |
| |
| 引用本文： | 党敏侠.Web服务的替换分析[J].舰船电子工程,2012,32(8):98-101. |
| |
| 作者姓名： | 党敏侠 |
| |
| 作者单位： | 中国电子科技集团公司第二十八研究所,南京,210007 |
| |
| 摘 要： | Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关。Web服务的替换对于Web服务合成系统的健壮性是非常重要的。文章使用进程代数作为形式化的分析工具描述Web服务,为Web服务建模,并提出为保证替换后服务合成仍然是正确的所要满足的约束条件。
|
| 关 键 词： | Web服务 替换 进程代数 |
Analysis of Web Service Substitution |
| |
| DANG Minxia.Analysis of Web Service Substitution[J].Ship Electronic Engineering,2012,32(8):98-101. |
| |
| Authors: | DANG Minxia |
| |
| Institution: | DANG Minxia(The 28th Research Institute of China Electronics Technology Group Corporation,Nanjing 210007) |
| |
| Abstract: | Web services composition is a key issue in web service architecture and web service research area.In this paper,we present a design method for web service composition.Upon our design method,we study substitution of web service which is important for robustness of web service composition.We use process algebra as formalism foundation modeling and specifying web services and reasoning on behavioral features of web services composition.As to the problem of how to substitute a component web service,once specifications of component web services are given,any new selected web services can substitute old component service and take part in composition successfully in the case that they satisfy criteria we propose. |
| |
| Keywords: | Web Service Substitution Process Algebra |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
