Alloy -based verification of Web service composition ... 首先提出一种基于Alloy的服务组合验证方法,采用有限的状态机建模WS-BPEL业务流程的状态变迁,利用Alloy ...
確定! 回上一頁