基于Petri网的Web服务事务模型形式化构建及基于贝叶斯网络的事务可靠性研究

Construction of model based on Petri net and reliability analysis based on Bayes net of Web Service transaction

在研究WebService事务的补偿、替换、重试、时间约束等应用语义之上,重点提出了一个适用于复杂流程型WebService事务模型,引入抽象事务来协助管理这些语义信息,并通过事务的多级特性来适应不同的服务粒度,采用有色Petri网对该模型进行了形式化描述。采用贝叶斯网络,从业务流程的角度,对Web Service事务的可靠性进行理论分析,给出了分析模型算法和边界理论值。

Analyze the characteristics and constraints of Web Service transaction,and then propose a Web Service transaction model combined with application semantics including compensation,retry,and alternation,which is suitable for business process.This model defines an abstract transaction to help manage these semantics mentioned above.It also uses the multi-level characteristic of Web Service transaction to adapt to different service granularity.A colored Petri net is used to describe the model.since Bias method can be used to analyze the reliability index of the products according to the data of different sources,it is a strong method in reliability analysis area.The reliability of Web Service transaction was analyzed from business process perspective with Bayes net.