Web服务的替换分析

作者：党敏侠

来源：舰船电子工程, 2012, (08): 98-101.

• Web服务
• 替换
• 进程代数 Web Service
• Substitution
• Process Algebra

Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关。Web服务的替换对于Web服务合成系统的健壮性是非常重要的。文章使用进程代数作为形式化的分析工具描述Web服务,为Web服务建模,并提出为保证替换后服务合成仍然是正确的所要满足的约束条件。

• 单位
  中国电子科技集团公司第二十八研究所