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

• 作者: 刘冬梅 范贵生 虞慧群 陈丽琼
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Petri网 服务组合 故障处理 CTL(computational tree logic) 可靠性
• 年，卷（期）: 2010,（2）
• 页码范围: 231-247
• 页数: 17页
• 分类号: TP311
• 字数: 14651字
• 语种: 中文

摘要

通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL (computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	虞慧群	华东理工大学计算机科学与工程系	113	814	14.0	24.0
5	陈丽琼	上海应用技术学院计算机科学与信息工程系	10	115	5.0	10.0
6	刘冬梅	华东理工大学计算机科学与工程系	16	136	6.0	11.0
7	范贵生	华东理工大学计算机科学与工程系	47	341	10.0	17.0