主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
范贵生,虞慧群,陈丽琼,刘冬梅.基于Petri网的服务组合故障诊断与处理.软件学报,2010,21(2):231-247
基于Petri网的服务组合故障诊断与处理
Fault Diagnosis and Handling for Service Composition Based on Petri Nets
投稿时间:2009-06-15  修订日期:2009-12-07
DOI:
中文关键词:  Petri网  服务组合  故障处理  CTL (computational tree logic)  可靠性
英文关键词:Petri net  service composition  fault hanlding  CTL (computational tree logic)  reliability
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60473055, 60773094 (国家自然科学基金); the National Key Technology R&D Program of China under Grant No.009BAH46B03 (国家科技支撑计划); the Shanghai Shuguang Program of China under Grant No.07SG32 (上海市曙光计划); the Fund of Key Laboratory of Shanghai Science and Technology of China under Grant No.09DZ2272600 (上海市科委重点实验室基金); the Open Research Foundation of Shanghai Institute of Technology of China under Grant No.YJ2009-17 (上海应用技术学院引进人才科研启动项目)
作者单位
范贵生 华东理工大学 计算机科学与工程系,上海 200237
上海市计算机软件评测重点实验室,上海 201112 
虞慧群 华东理工大学 计算机科学与工程系,上海 200237
上海市计算机软件评测重点实验室,上海 201112 
陈丽琼 上海应用技术学院 计算机科学与信息工程系,上海 200235 
刘冬梅 华东理工大学 计算机科学与工程系,上海 200237 
摘要点击次数: 9344
全文下载次数: 12013
中文摘要:
      通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利