%0 Journal Article
%T Determination and Computation of Behavioral Compatibility for Web Services<br>Web服务行为兼容性的判定与计算
%A DENG Shui-Guang
%A LI Ying
%A WU Jian
%A KUANG Li
%A WU Zhao-Hui
%A <br>邓水光
%A 李莹
%A 吴健
%A 邝砾
%A 吴朝晖
%J 软件学报
%D 2007
%I 
%X 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 7t-calculus-based method is proposed to qualitatively determine and quantitatively compute behavioral compatibility. First, it transforms service behaviors and interactions between services into x-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 dynamieally shows that it is very useful for correctly building and reliably executing service compositions.
%K Web service
%K service behavior
%K behavioral compatible
%K rt calculus
%K process<br>Web服务
%K 服务行为
%K 行为兼容
%K π演算
%K 进程
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=441FEB773C744730C5902AB8A1E1307E&yid=A732AF04DDA03BB3&vid=13553B2D12F347E8&iid=59906B3B2830C2C5&sid=43C416DFC6CCEF98&eid=A2A361E8179A54A7&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=25