设计模式形式化描述方法的研究与实现  

Research and Implementation of Formal Description of Design Patterns

作　　者：张权[1] 董晶[1] 姜亚萍[1] 

机构地区：[1]天津天狮学院,天津301700

出　　处：《价值工程》2012年第6期118-118,共1页Value Engineering

摘　　要：软件设计中,类和对象的设计及它们之间依赖关系的确定严重影响到软件的复用性和灵活性,设计模式能够实现类和对象之间的完美设计。如何从成千上万的设计模式中寻找合适的设计模式成为关注的焦点。文章在深入研究和分析的基础上,形成了DisCo语言和BPSL语言相接合的形式化描述语言。在此基础上提出了基于谓词匹配的设计模式检索算法,使设计者能够快速方便的重用设计模式。In software design,the design of classes and objects and the determination of their dependencies between them seriously affect reusability and flexibility of software.Design patterns achieve the perfect between class and object.How to find out the appropriate design pattern from thousands of design patterns becomes the focus.Based on the study and analysis,the article forms the formal description language based on the DisCo language and BPSL language.At last,the article puts forward the search algorithm of design pattern based on the predicate matching,enables designers to quickly and easily reuse design patterns.

关 键 词：设计模式 形式化描述语言 

分 类 号：TP399[自动化与计算机技术—计算机应用技术]