| 基于进程代数的Web服务合成的替换分析 |
| |
| 引用本文： | 刘方方,史玉良,张亮,施伯乐.基于进程代数的Web服务合成的替换分析[J].计算机学报,2007,30(11):2033-2039. |
| |
| 作者姓名： | 刘方方 史玉良 张亮 施伯乐 |
| |
| 作者单位： | 复旦大学计算机与信息技术系,上海,200433 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关且对于Web服务合成系统的健壮性有重要作用.使用进程代数作为形式化的工具描述Web服务,对合成中的行为特征进行推导,分析由于异步交互对Web服务合成设计与实现产生的影响.在此之上,基于服务合成正确性的定义,提出一种一致性关系,若新服务与将要被替换的参与合成的服务之间存在这种关系,那么替换后的服务合成仍然是正确的,并且替换是上下文无关的.
|
| 关 键 词： | Web服务 合成 替换 进程代数 进程代数 服务合成系统 替换 分析 Process Algebra Service Composition Analysis 上下文 存在 关系 一致性 影响 合成设计 异步交互 行为特征 描述 形式化 使用 作用 健壮性 |
| 修稿时间： | 2006-05-10 |
Substitution Analysis of Web Service Composition via Process Algebra |
| |
| LIU Fang-Fang,SHI Yu-Liang,ZHANG Liang,SHI Bo-Le.Substitution Analysis of Web Service Composition via Process Algebra[J].Chinese Journal of Computers,2007,30(11):2033-2039. |
| |
| Authors: | LIU Fang-Fang SHI Yu-Liang ZHANG Liang SHI Bo-Le |
| |
| Affiliation: | Department of Computing and Information Technology, Fudan University, Shanghai 200433 |
| |
| Abstract: | 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 service independent of context and take part in composition successfully in the case that they satisfy criteria of this relation. |
| |
| Keywords: | Web service composition substitution process algebra |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
