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

Formalizing Software Design Pattern in Z

作　　者：曾红卫[1] 滕中梅[1] 

机构地区：[1]上海大学计算机学院,上海200072

出　　处：《计算机工程》2006年第13期69-70,108,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60373072)

摘　　要：设计模式和形式化是软件工程领域研究的两个重要方面。该文的目的是对设计模式的形式化进行探讨,其中心是设计模式“结构”的形式化。文章以抽象类、抽象函数为基本对象,分析了设计模式中类和函数间存在的各种基本关系和关系性质,提出了“层次”概念。在此基础上,以设计模式“修饰”为例说明了用Z语言形式化设计模式的方法。Design pattern and formalizing are two very important aspects of software engineering. This paper discusses formalizing design pattern. It focuses on ＂Structure＂ section of each pattern. Based on classes and functions, first, the paper analyses basis relations among classes and relations, and properties of relation. It brings forward a notation of hierarchy construct. As an example, it transforms from structure section of pattern ＂decorator＂ into formal description in Z.

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

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