摘要： 章四 软件体系结构的形式化描述一、软件体系结构的形式化描述的方法1、随着软件系统规模和复杂性的不断增大，软件设计的核心已从“算法＋数据结构＝程序”的传统计算模式转向系统的总体结构，即软件体系结构的设计和规范。着眼于软件系统的全局组织形式，在更高层次上把握系统各组件之间的内在联系，并且从全局的、整体的角度去理解和分析整个系统的行为和特性，有助于解决当前开发复杂的大型软件所存在的困难。一个系统的软件体系结构通常可以用方框和线条图描述。这种方框和线条图可以对系统进行结构化。软件体系结构提高了系统的抽象级别，使开发人员可以对系统进行推理。一个系统的体系结构所提供的模型，其目的不在于系统的实现细节，而是 阅读全文