软件体系结构中四种常见风格的形式化

摘要：

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

关键词：软件体系结构、软件体系结构风格、WRIGHT

分类号：TP3(计算技术、计算机技术)

资助基金：华南理工大学校科研和教改项目G03-E5041450

在线出版日期：2005-11-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：42,47