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

• 作者: 李代平 梅小虎 郭广义
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 软件体系结构 管道-过滤器 Z语言 形式化
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 智能、算法、系统结构
• 页码范围: 140-142,146
• 页数: 4页
• 分类号: TP311
• 字数: 3908字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2009.05.040

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李代平	广东工业大学计算机学院	58	412	10.0	16.0
2	梅小虎	广东工业大学计算机学院	9	63	4.0	7.0
3	郭广义	广东工业大学计算机学院	3	45	2.0	3.0