| Z语言与软件体系结构风格的形式化 |
| |
| 引用本文： | 郭广义,李代平,梅小虎.Z语言与软件体系结构风格的形式化[J].计算机技术与发展,2009,19(5). |
| |
| 作者姓名： | 郭广义 李代平 梅小虎 |
| |
| 作者单位： | 广东工业大学,计算机学院,广东,广州,510075 |
| |
| 摘 要： | 软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型,也称为构建模式.形式化则是一种基于数学的严谨的描述方式和方法.形式化不仅能够清晰地描述软件体系结构风格,并且为软件体系结构的设计提供了一种易于交流和理解的途径,因此形式化是现在软件体系结构研究的主要课题之一.文中通过Z语言描述管道一过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用Z语言形式化的描述软件体系结构风格,从中可以看出Z语言的严谨、清晰、简洁.
|
| 关 键 词： | 软件体系结构 管道-过滤器 Z语言 形式化 |
Z Language and Formalization of Software Architecture Style |
| |
| GUO Guang-yi,LI Dai-ping,MEI Xiao-hu.Z Language and Formalization of Software Architecture Style[J].Computer Technology and Development,2009,19(5). |
| |
| Authors: | GUO Guang-yi LI Dai-ping MEI Xiao-hu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
