Determination and Computation of Behavioral Compatibility for Web Services

Shuiguang Deng,Lei Ying,Jing Wu,Li Kuang,Zhaohui Wu,Deng Sg,Jian Wu,Lei Kuang,Zhonghua Wu
2007-01-01
Journal of Software
Abstract:How to ensure services compatible at the behavioral level is an important issue for services integration and collaboration in a seamless way. Based on the proposed concept of service view, a formal definition of behavioral compatibility between services is proposed. Then, a π-calculus-based method is proposed to qualitatively determine and quantitatively compute behavioral compatibility. First, it transforms service behaviors and interactions between services into π-calculus processes using an algorithm automatically. Second, it determines qualitatively whether two services are behavioral compatible with the help of operational and transitional semantics and a formal deduction. After that it proposes an algorithm based on the Expansion Law to compute the compatibility degree between services quantitatively. The application of the method in the scenarios of composing and replacing services dynamically shows that it is very useful for correctly building and reliably executing service compositions.
What problem does this paper attempt to address?