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

摘要

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