近年来，可靠性正在成为体系结构研究领域越来越重要的研究点。现在已经有很多可靠性模型可以用来在体系结构层次上预测软件的可靠性，但是绝大部分工作都没有给出软件体系结构的一个形式化描述。与此同时，描述软件体系结构的形式化方法也很多，但是不幸的是，这些方法却没有关注到可靠性这一重要属性。本文的主要工作就是尝试去填补软件体系结构描述和基于体系结构的可靠性模型之间的鸿沟。本文的工作可以从四个方面来展开。第一，通过和可靠性模型的参数相结合，扩展了图中的边，给出了可靠图文法的定义。然后通过这个定义好的可靠图文法，来描述软件体系结构。由于可靠图文法中已经包含了可靠性元素，在确定了具体的参数之后，就可以用基于状态的可靠性模型和基于路径的可靠性模型来预测软件体系结构的可靠性。在此基础上，从构件的敏感度和路径的敏感度两个角度分析了基于路径的可靠性模型的敏感度。最后，给出了基于AGG平台的软件体系结构可靠性演化的实验。