《一种SOA软件系统可信性评价方法研究》.pdfVIP

第 33卷 第 11期 计 算 机 学 报 Vo1．33 No．11 2010年 11月 CHINE『SEJOURNALOFCOMPUTERS NOV．2010 一 种 SOA软件系统可信性评价方法研究 赵会群 孙 晶 (北方212业大学计算机系 北京 100144) 摘 要 结合计算机系统可信性评价需求 ，研究基于 SOA软件系统可信性评价方法．首先引入 SOA软件代数模 型，给 出SOA软件可信范式，为从软件体系结构角度研究可信性评价 问题奠定基础．给 出SOA软件元素 (服务组 件和服务组合)可信属性的定义以及可信性定义；证明可信范式下SOA软件系统的Markov特性，提出SOA软件 系统的综合可信性评价模型．通过一个案例解释 SOA软件系统可信性模型的应用．最后通过与同类研究比较 ，总 结本文的特点和贡献． 关键词 面向服务的体系结构 ；软件可信性评价 ；半 Markov模型 中图法分类号 TP311 DOI号 ：10．3724／SP．J．1016．2010．02202 A M ethOdOlOgicalStudyofEvaluatingtheDependabilityofSOA SoftwareSystem ZHAO Hui—Qun SUN Jing (DepartmentofComputerScience，NorthChinaUniversityofTechnology，Beijing 100144) Abstract Inordertomeetincreasingneedforthemethodofmeasuringthedependabilityofeom— putersystem，thispapermakestheeffortto themethodologicalresearch ofevaluating thede— pendabilityofSOA softwaresystem ：AnalgebramodelofSOA softwaresystem anditsformal patternfordesignadependableSOA softwaresystem areintroducedatfirst，alloftheworksgive afundamentaltheory forevaluating thedependabilityofSOA softwaresystem ；Definethede— pendabilityofeach attributesfortypicalSOA softwareelement，theservicecomponentandthe serviceoperation，andthedependabilityofanelementthatcomposewith theeach attributes．It arguesthattheSOA softwaresystem bearstheMarkovpropertyifitisdeignedunderthedepend— ableformalpattern．Basedonthisargument，itproposesadependabilitymodelforSOA software system．Inordertopromotetheapplication ofthemodel，acase studyisdemonstrated．After comparingthedifferenceprofileswithotherresearchworkitconcludestheadvantageofthenew dependabilitymode1． Keywords serviceorientedarchitecture；softwaredependabilityevaluation；semiMarkovmodel