web服务组合的互模拟验证

？为检验web服务组合的实现与用户需求的一致性，在开互模拟形式化理论和检验工具的基础上，提出了一个自动化检验方法。首先，用π-演算分别对用户需求和商业流程可执行语言（bpel4ws）程序实现建模，然后对它们进行弱开互模拟检验，当它们不互模拟时，检验工具能自动标识关键的不互模拟的bpel4ws程序片段。最后通过实例说明这一方法的可行性。