基于谓词逻辑的设计模式描述方法  

Representation of design patterns based on predicate logic

作　　者：殷磊[1] 刘晓翔[2] 

机构地区：[1]西安电子科技大学机电工程学院,陕西西安710071 [2]暨南大学珠海学院计算机系,广东珠海519070

出　　处：《计算机工程与设计》2008年第9期2353-2355,共3页Computer Engineering and Design

摘　　要：设计模式描述了面向对象软件设计过程中不断重复发生的问题以及这些问题的解决方案,强调系统的复用性,帮助人们做出有利于系统复用的选择,因此设计模式也可看成是对软件开发者的分析与设计知识的记录、提炼和表示,谓词逻辑是一种形式语言系统,具有精确、无二义性以及容易为计算机理解和操作等特点。采用了谓词逻辑来形式化描述设计模式,以实现对设计模式精确的形式化描述,并给出了具体的实例分析。Design patterns describe the solutions for the problems that occur repeatedly in the development of software systems, and help users to realize the reused software system. So the design patterns is considered as the representation of software developer＇s knowledge, Predicate logic is a kind of formal language system and has the characteristic of rigors and precision, Predicate logic to describe design patterns formally is adopted, and an example is presented.

关 键 词：设计模式 软件复用 知识表示 谓词逻辑 形式化描述 

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