%0 Journal Article
%T Open-bisimulation checking of Web Services combination<br>Web服务组合的互模拟验证
%A YUAN Yong-fu
%A GAO Chun-ming
%A LIU Rong-sheng
%A <br>袁勇福
%A 高春鸣
%A 刘荣胜
%J 计算机应用
%D 2006
%I 
%X 为检验Web服务组合的实现与用户需求的一致性，在开互模拟形式化理论和检验工具的基础上，提出了一个自动化检验方法。首先，用π-演算分别对用户需求和商业流程可执行语言（BPEIAWS）程序实现建模，然后对它们进行弱开互模拟检验，当它们不互模拟时，检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。
%K π-演算
%K 商业流程可执行语言
%K 开互模拟
%K on-the-fly算法
%K 模型验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=9355D201B4E8CCA0&yid=37904DC365DD7266&vid=96C778EE049EE47D&iid=F3090AE9B60B7ED1&sid=9468524DE79F8441&eid=B7BFEB80CBF01858&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=10