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

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

作　　者：陈平 王兴建 党德鹏[2] CHEN Ping;WANG Xinjian;DANG Depeng(Center of Information&Network,Beijing Normal University,Beijing 100875,China;College of Information Science and Technology,Beijing Normal University,Beijing 100875,China)

机构地区：[1]北京师范大学信息网络中心,北京100875 [2]北京师范大学信息科学与技术学院,北京100875

出　　处：《通信学报》2018年第A01期93-98,共6页Journal on Communications

基　　金：国家自然科学基金资助项目(No.61370064)~~

摘　　要：在研究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.

关 键 词：Web Service PETRI网 事务模型 BAYES网络 可靠性分析 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]