论文部分内容阅读
许多软件系统是从体系结构的设计开始的，然而这些体系结构的设计是非形式化的。为了使软件体系结构的设计有更科学的理论基础，一个合适的形式化系统是必不可少的。而且形式化也是研究体系结构其它方面（如：软件体系结构的演化、描述语言、重用等）的最根本的基础。文章用Ｚ语言＾「４」形式化符号系统实现了“管道－过滤器”这一常用的软件体系结构风格的形式化。