摘要
目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务树理论,提出了判定多个Web服务组合后满足行为弱合理性的算法,实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性.
At present, the correctness of the web service composition is primarily analyzed by soundness and determining whether the composition model meets the behavior relativity is an effective method for judging soundness. But the algorithm for judging the behavior relativity is feasible only in the case that T-invariant exists. In the consideration of the fact, web services are modeled by the open Petri net. Then, in order to realize the correctness analysis of the composition, an algorithm for determining the weak soundness of the service composition based on the theory of the service tree is presented. Finally the concrete example shows the effectiveness of the proposed method.
出处
《微电子学与计算机》
CSCD
北大核心
2012年第5期77-80,85,共5页
Microelectronics & Computer
基金
国家自然科学基金项目(60873144)
安徽省高校自然科学基金重点项目(KJ2011A086)
