文献类型：期刊文章

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

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

出　　处：《软件学报》

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

年　　份：2010

卷　　号：21

期　　号：2

起止页码：231-247

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20101612868915)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

关 键 词：PETRI网 服务组合  故障处理  CTL(computational  TREE logic)  可靠性  

分 类 号：TP393] TP312[计算机类]