资源描述:
《基于动态描述逻辑的网构软件系统故障诊断》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、ISSN1000-9825,CODENRUXUEWE-mail:jos@iscas.ac.cnJournalofSoftware,Vol.21,No.2,February2010,pp.248−260http://www.jos.org.cndoi:10.3724/SP.J.1001.2010.03793Tel/Fax:+86-10-62562563©byInstituteofSoftware,theChineseAcademyofSciences.Allrightsreserved.∗基于动态描述逻辑的网构软件系统故障诊断1
2、,2+1,21王竹晓,杨鲲,史忠植1(中国科学院计算技术研究所智能信息处理重点实验室,北京100190)2(中国科学院研究生院,北京100049)FailureDiagnosisofInternetwareSystemsUsingDynamicDescriptionLogic1,2+1,21WANGZhu-Xiao,YANGKun,SHIZhong-Zhi1(KeyLaboratoryofIntelligentInformationProcessing,InstituteofComputingTechnology,TheChi
3、neseAcademyofSciences,Beijing100190,China)2(GraduateUniversity,TheChineseAcademyofSciences,Beijing100049,China)+Correspondingauthor:E-mail:wangzhuxiao@ics.ict.ac.cnWangZX,YangK,ShiZZ.FailurediagnosisofInternetwaresystemsusingdynamicdescriptionlogic.JournalofSoftware
4、,2010,21(2):248−260.http://www.jos.org.cn/1000-9825/3793.htmAbstract:Thispaperproposesawaytoanalyzediagnosedsystemsusingdynamicdescriptionlogic.Syntaxandsemanticsofdynamicdescriptionlogicaresuitabletodescribeboththenormalandthefailedbehaviorofthesystem.Then,itgivesa
5、lgorithmstotestdiagnosabilityofdiscrete-eventsystemsbyusingdynamicdescriptionlogicsatisfiability-checkingandfortheconstructionofadiagnoser,whichperformsdiagnosticsusingon-lineobservationsofthesystembehavior.Throughoutthepaper,examplesaregivenforillustration.Keywords
6、:failurediagnosis;Internetware;dynamicdescriptionlogic;trustworthysoftware;discrete-eventsystem摘要:提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算法进行了说明.关键词:故障诊断;网构软件;动态描述逻辑;
7、可信软件;离散事件系统中图法分类号:TP311文献标识码:A网构软件(Internetware)是为了适应开放、动态、多变的网络环境的发展趋势所呈现出的一种柔性可演化、[1−3]多目标适应、连续反应式的新的软件系统形态.从技术角度来看,其形态应该是在软件构件等技术支持下的软件实体以Agent的软件服务形式存在于互联网的各个节点之上,各个软件实体相互间通过各种协同机制进行∗SupportedbytheNationalNaturalScienceFoundationofChinaunderGrantNo.60775035(国家自然
8、科学基金);theNationalHigh-TechResearchandDevelopmentPlanofChinaunderGrantNo.2007AA01Z132(国家高技术研究发展计划(863));theNationalBasicResearchProgramofCh