【摘要】 许多软件系统是从体系结构的设计开始的 ,然而这些体系结构的设计是非形式化的 .为了使软件体系结构的设计有更科学的理论基础 ,一个合适的形式化系统是必不可少的 .而且形式化也是研究体系结构其它方面 (如 :软件体系结构的演化、描述语言、重用等 )的最根本的基础 .文章用 Z语言 〔4〕形式化符号系统实现了“管道 -过滤器”这一常用的软件体系结构风格的形式化 .更多还原

【Abstract】 A lot of software systems begin with architectural design, which is always informal for the present. In order to make the software architectural design more scientific, an appropriate formal system is essential. Furthermore, the formalization is the most important foundation of correlative researching, such as SAs evolution, description language and reusing.更多还原