中文摘要：

结合计算机系统可信性评价需求,研究基于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.