Z语言与软件体系结构风格的形式化  

Z Language and Formalization of Software Architecture Style

作　　者：郭广义[1] 李代平[1] 梅小虎[1] 

机构地区：[1]广东工业大学计算机学院,广东广州510075

出　　处：《计算机技术与发展》2009年第5期140-142,146,共4页Computer Technology and Development

基　　金：广西自然科学基金项目(0229009)

摘　　要：软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型,也称为构建模式。形式化则是一种基于数学的严谨的描述方式和方法。形式化不仅能够清晰地描述软件体系结构风格,并且为软件体系结构的设计提供了一种易于交流和理解的途径,因此形式化是现在软件体系结构研究的主要课题之一。文中通过Z语言描述管道-过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用Z语言形式化的描述软件体系结构风格,从中可以看出Z语言的严谨、清晰、简洁。The style of software architecture is the designers of software who sum up from their experiences. It is fit for one kind of model of software, in the other word , also all construction mode. Formalization is one kind of precise description way which is based on math. The style of software architecture can be described clearly by formal methods. Formal method makes the design of software architectures easily to understand and commutation. Formalization is one main study topic of software architectures. Describes the static character and dynamic action of piles - filters style through Z language to illustrate how to describe the formalization of software architecture style use Z language. And this way is precise, clear and straightforward.

关 键 词：软件体系结构 管道-过滤器 Z语言 形式化 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]