基于Petri网的服务组合故障诊断与处理
服务组合是实现服务增值的一种有效方法，并已广泛使用于一些关键的应用。对这些应用而言，故障后能迅速而有效地处理是至关重要的。然而，现有的服务组合很少考虑服务的故障诊断及其故障处理方法，导致服务组合在运行时出现失败的概率较大。首先通过分析服务组合的故障需求，给出服务组合故障处理的框架。该框架采用Petri网来解决服务组合的错误发现及其处理问题。重点讨论了可用服务失败、组件失败及网络故障的情况，并相应地给出了服务故障模型。在此基础对故障处理模型进行分析，给出服务组合故障处理正确性准则，并证明了其正确性。最后，采用CTL描述相关性质并提出验证服务组合故障分析的实施算法。仿真结果表明，该方法在处理服务组合故障时具有一定的优越性。
Petri网 服务组合 故障处理 服务增值
范贵生 虞慧群 陈丽琼 刘冬梅
华东理工大学计算机科学与工程系，上海 200237 华东理工大学计算机科学与工程系，上海 200237 上海市计算机软件评测重点实验室，上海，201112 上海应用技术学院计算机科学与信息工程系，上海，200235
国内会议
沈阳
中文
21-33
2009-09-22（万方平台首次上网日期，不代表论文的发表时间）