%0 Journal Article %T web服务组合的互模拟验证 %A chenming %J 计算机应用 %D 2006 %X ?为检验web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(bpel4ws)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的bpel4ws程序片段。最后通过实例说明这一方法的可行性。 %K π-演算 %K 商业流程可执行语言 %K 开互模拟 %K on-the-fly算法 %K 模型验证 %U http://www.joca.cn/CN/abstract/abstract8777.shtml