摘要

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