文献类型：期刊文献

中文题名：基于Petri网的服务组合故障诊断与处理

英文题名：Fault Diagnosis and Handling for Service Composition Based on Petri Nets

作者：范贵生[1,2];虞慧群[1,2];陈丽琼[3];刘冬梅[1]

机构：[1]华东理工大学计算机科学与工程系,上海200237;[2]上海市计算机软件评测重点实验室,上海201112;[3]上海应用技术学院计算机科学与信息工程系,上海200235

年份：2010

卷号：21

期号：2

起止页码：231

中文期刊名：软件学报

外文期刊名：Journal of Software

收录：CSTPCD;;EI(收录号：20101612868915);Scopus;北大核心:【北大核心2008】；CSCD:【CSCD2011_2012】；

基金：国家自然科学基金Nos.60473055;60773094;国家科技支撑计划No.009BAH46B03;上海市曙光计划No.07SG32;上海市科委重点实验室基金No.09DZ2272600;上海应用技术学院引进人才科研启动项目No.YJ2009-17~~

语种：中文

中文关键词：Petri网;服务组合;故障处理;CTL(computational;tree;logic);可靠性

外文关键词：Petri net; service composition; fault hanlding; CTL （computational tree logic）; reliability

摘要：通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.
In this paper, a framework is proposed for handling fault of service composition through analyzing fault requirements. Petri nets are used in the framework for fault detecting and its handling, which focuses on targeting the failure of available services, component failure and network failure. The corresponding fault models are given. Based on the model, the correctness criterion of fault handling is given to analyze fault handling model, and its correctness is proven. Finally, CTL （computational tree logic） is used to specify the related properties and enforcement algorithm of fault analysis. The simulation results show that this method can ensure the reliability and consistency of service composition.