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

A Methodological Study of Evaluating the Dependability of SOA Software System

作　　者：赵会群[1] 孙晶[1] 

机构地区：[1]北方工业大学计算机系,北京100144

出　　处：《计算机学报》2010年第11期2202-2210,共9页Chinese Journal of Computers

基　　金：国家自然科学基金(61070030);北京市属高校学术创新团队建设计划项目(可信物联网关键技术研究及应用示范系统研制)资助~~

摘　　要：结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.In order to meet increasing need for the method of measuring the dependability of computer system,this paper makes the effort to the methodological research of evaluating the dependability of SOA software system： An algebra model of SOA software system and its formal pattern for design a dependable SOA software system are introduced at first,all of the works give a fundamental theory for evaluating the dependability of SOA software system;Define the dependability of each attributes for typical SOA software element,the service component and the service operation,and the dependability of an element that compose with the each attributes.It argues that the SOA software system bears the Markov property if it is deigned under the dependable formal pattern.Based on this argument,it proposes a dependability model for SOA software system.In order to promote the application of the model,a case study is demonstrated.After comparing the difference profiles with other research work it concludes the advantage of the new dependability model.

关 键 词：面向服务的体系结构 软件可信性评价 半Markov模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]