|
|||||
|
|
| 设计模式的一种形式化描述方法 | |
| 引用本文： | 钟金琴,辜丽川,张友华,朱诚.设计模式的一种形式化描述方法[J].微电子学与计算机,2009,26(6). |
| 作者姓名： | 钟金琴 辜丽川 张友华 朱诚 |
| 作者单位： | 1. 安徽大学,职业技术学院,安徽,合肥,230011 2. 安徽农业大学,计算机学院,安徽,合肥,230036 |
| 基金项目： | 国家八六三计划项目，安徽省科技攻关项目，安徽省高等学校自然科学基金 |
| 摘 要： | 设计模式是人们在实践过程中总结出来的成功设计范例,实现在设计模武应用过程中自动选择,有着重大的意义.而形式化描述设计模式是自动选择的基础,为此文中提出了基于时序逻辑语言XYZ/E来表示设计模式的静态和动态形式化语义的方法.通过对设计模式静态结构、动态行为及其特点的分析,找出形式化描述规则,利用转换法实现了设计模式XYZ/E的形式化描述. |
| 关 键 词： | 设计模式 形式化描述 |
| 本文献已被 万方数据 等数据库收录！ | |