Web服务的替换分析

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