Computing compatibility in dynamic service composition

被引:0
作者
Zhaohui Wu
Shuiguang Deng
Ying Li
Jian Wu
机构
[1] Zhejiang University,College of Computer Science and Technology
来源
Knowledge and Information Systems | 2009年 / 19卷
关键词
Web service; Service composition; Behavioral compatibility; -calculus;
D O I
暂无
中图分类号
学科分类号
摘要
Dynamically composing services requires mechanisms to ensure component services compatible with each other both at all of the syntax, semantic and behavioral level. This paper focuses on the issue of behavioral compatibility in a service composition. It adopts the π-calculus to model service behaviors and interactions in a formal way. Based on the formalization, it proposes a method to automatically check the behavioral compatibility in a qualitative way. Furthermore, it presents an algorithm to compute the compatibility degree in a quantitative way. The algorithm is implemented in a prototype and its performance analysis is also carried out to show that it can help composing services on the fly and ensure the services compatible with each other to provide functions with newly-added values.
引用
收藏
页码:107 / 129
页数:22
相关论文
共 41 条
[41]  
Deng S(undefined)undefined undefined undefined undefined-undefined