摘要
Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关。Web服务的替换对于Web服务合成系统的健壮性是非常重要的。文章使用进程代数作为形式化的分析工具描述Web服务,为Web服务建模,并提出为保证替换后服务合成仍然是正确的所要满足的约束条件。
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.
出处
《舰船电子工程》
2012年第8期98-101,共4页
Ship Electronic Engineering
关键词
WEB服务
替换
进程代数
Web Service
Substitution
Process Algebra
