A Methodological Study of Evaluating the Dependability of SOA Software System

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.