欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
目前，组合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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：