基于开放Petri网的Web服务行为弱合理性分析  

The Analyzing Method about Behavior Weak Soundness of Web Services Based on Open Petri Net

作　　者：王娟[1] 方贤文[1,2] 

机构地区：[1]安徽理工大学信息与计算科学系,安徽淮南232001 [2]同济大学计算机科学与技术系,上海201804

出　　处：《微电子学与计算机》2012年第5期77-80,85,共5页Microelectronics & Computer

基　　金：国家自然科学基金项目(60873144);安徽省高校自然科学基金重点项目(KJ2011A086)

摘　　要：目前,组合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.

关 键 词：开放Petri网Web服务行为 弱合理性 行为相关性 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]