论文部分内容阅读
软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型，也称为构建模式。形式化则是一种基于数学的严谨的描述方式和方法。形式化不仅能够清晰地描述软件体系结构风格，并且为软件体系结构的设计提供了一种易于交流和理解的途径，因此形式化是现在软件体系结构研究的主要课题之一。文中通过Z语言描述管道一过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用z语言形式化的描述软件体系结构风格，从中可以看出Z语言的严谨、清晰、简洁。