设计模式的一种形式化描述方法  

A Method of Formal Description for Software Design Patterns

作　　者：钟金琴[1] 辜丽川[2] 张友华[2] 朱诚[2] 

机构地区：[1]安徽大学职业技术学院,安徽合肥230011 [2]安徽农业大学计算机学院,安徽合肥230036

出　　处：《微电子学与计算机》2009年第6期150-153,158,共5页Microelectronics & Computer

基　　金：国家"八六三"计划项目(2006AA10Z249);安徽省"十一五"科技攻关项目(08010302170);安徽省高等学校自然科学研究项目(KJ2008B111)

摘　　要：设计模式是人们在实践过程中总结出来的成功设计范例,实现在设计模式应用过程中自动选择,有着重大的意义.而形式化描述设计模式是自动选择的基础,为此文中提出了基于时序逻辑语言XYZ/E来表示设计模式的静态和动态形式化语义的方法.通过对设计模式静态结构、动态行为及其特点的分析,找出形式化描述规则,利用转换法实现了设计模式XYZ/E的形式化描述.Design patterns are successful design examples which people summarized in practice, it＇s a great meaning to select design patterns automatically. Formalization is the base of automatic selection for design patterns, a method is proposed to express the formal semantics of static structure and action of design pattern based on the temporal language XYZ/ E. By analyzing design patterns and their characteristics, and finding the formal regulation, transition method is taken to realize the formal description of design patterns.

关 键 词：设计模式 形式化描述 XYZ/E UML 

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