随着计算和互联网技术的快速发展，尤其近几年数据量和互联网用户数都急剧膨胀，传统软件系统耦合性高、可维护性和可扩展性查等缺陷逐渐显现，面对这种局面，基于SOA理念的软件系统能够较好的应对，而且SOA能够很好的支撑云计算，伴随着云计算的崛起，SOA的应用前景会更加广阔。然而由于SOA软件系统开发具有开放性，其可信性受到质疑。如何准确的评价其可信性成为焦点。本文首先研究了SOA的背景及现状，之后对目前国内外的软件系统可信性评价方法进行深入研究SOA注重系统的松耦合，注意到各个服务之间相对独立的特性，本文结合Markov模型对SOA软件系统进行建模，并通过系统的组成服务的可信性及其发生概率，可以较为准确的计算整个系统的可信性，并分“单域”、“多域”两种情况进行验证。主要内容如下：(1)提出SOA软件系统可信性的评价方法。深入研究SOA的特性和Markov模型，发觉两者的内在联系，分析采用Markov建模的可行性，并给出SOA代数模型。根据实际经验给出模型中各个服务之间的不同组合形式，并分别定义。(2)在理解SOA的基础上，根据自身掌握的相关技术，设计并实现了两个SOA应用软件系统实例，分别符合“单域”和“多域”的条件，确保对可信性评价进行验证的全面性。(3)结合实例，分两种情况对SOA软件系统的可信性进行评价，验证SOA软件系统可信性评价方法的正确性，最后得出结论，可以根据组成系统的各个服务的可信性评价某个服务组合或者整个系统的可信性。