用Z形式化描述的软件设计模式

摘要：

设计模式和形式化是软件工程领域研究的两个重要方面.该文的目的是对设计模式的形式化进行探讨,其中心是设计模式"结构"的形式化.文章以抽象类、抽象函数为基本对象,分析了设计模式中类和函数间存在的各种基本关系和关系性质,提出了"层次"概念.在此基础上,以设计模式"修饰"为例说明了用Z语言形式化设计模式的方法.

关键词：设计模式、形式化、层次、修饰

所属期刊栏目：32

分类号：TP311.5(计算技术、计算机技术)

资助基金：中国科学院资助项目60373072

在线出版日期：2006-08-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：69-70,108