基于Petri网的服务组合故障诊断与处理

摘要

服务组合是实现服务增值的一种有效方法，并已广泛使用于一些关键的应用。对这些应用而言，故障后能迅速而有效地处理是至关重要的。然而，现有的服务组合很少考虑服务的故障诊断及其故障处理方法，导致服务组合在运行时出现失败的概率较大。首先通过分析服务组合的故障需求，给出服务组合故障处理的框架。该框架采用Petri网来解决服务组合的错误发现及其处理问题。重点讨论了可用服务失败、组件失败及网络故障的情况，并相应地给出了服务故障模型。在此基础对故障处理模型进行分析，给出服务组合故障处理正确性准则，并证明了其正确性。最后，采用CTL描述相关性质并提出验证服务组合故障分析的实施算法。仿真结果表明，该方法在处理服务组合故障时具有一定的优越性。