摘要
Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关且对于Web服务合成系统的健壮性有重要作用.使用进程代数作为形式化的工具描述Web服务,对合成中的行为特征进行推导,分析由于异步交互对Web服务合成设计与实现产生的影响.在此之上,基于服务合成正确性的定义,提出一种一致性关系,若新服务与将要被替换的参与合成的服务之间存在这种关系,那么替换后的服务合成仍然是正确的,并且替换是上下文无关的.
Web services composition is a key issue in Web service research area. Substitution of service is closely related with composition and important to robustness of service composition. In this paper, we use process algebra as formalism foundation modeling and specifying Web services and reasoning on behavioral features of Web services composition. We analyze some cases that have effects on design and implementation of composition. Upon that, and based on definition of composition, we study substitution. As to the problem of how to substitute a component Web service, we present a relation. Any new selected Web services can substitute old component serv- ice independent of context and take part in composition successfully in the case that they satisfy criteria of this relation.
出处
《计算机学报》
EI
CSCD
北大核心
2007年第11期2033-2039,共7页
Chinese Journal of Computers
基金
国家"九七三"重点基础研究发展规划项目基金(2005CB321905)资助.~~
关键词
WEB服务
合成
替换
进程代数
Web service
composition
substitution
process algebra
