CAJ | 학술논문

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