论文部分内容阅读
许多软件系统是从体系结构的设计开始的,然而这些体系结构的设计是非形式化的,为了使软件体系结构的设计有更科学的理论基础,更易于验证和自动化推导,更易于沟通理解同时把先进的设计思想保留下来,一个合适的形式化系统是必不可少的,而且形式化也是研究体系结构其他方面的最根本的基础.文章用软件体系结构描述语言WRIGHT对四种常见的体系结构风格进行了描述,同时说明了这些风格如何在一个设计中使用.