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

摘要

设计模式是人们在实践过程中总结出来的成功设计范例,实现在设计模式应用过程中自动选择,有着重大的意义.而形式化描述设计模式是自动选择的基础,为此文中提出了基于时序逻辑语言XYZ/E来表示设计模式的静态和动态形式化语义的方法.通过对设计模式静态结构、动态行为及其特点的分析,找出形式化描述规则,利用转换法实现了设计模式XYZ/E的形式化描述.