| 形式规约模式及其重用技术研究综述 |
| |
| 引用本文： | 李信本.形式规约模式及其重用技术研究综述[J].浙江万里学院学报,2007,20(2):32-36. |
| |
| 作者姓名： | 李信本 |
| |
| 作者单位： | 浙江万里学院,宁波,315100 |
| |
| 摘 要： | 设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义.规约模式就是用某种形式化语言表示的设计模式.文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法.最后讨论了当前存在的问题及其发展趋势。
|
| 关 键 词： | 设计模式 形式化方法 规约模式 重用 |
| 文章编号： | 1671-2250（2007）02-0032-05 |
| 收稿时间： | 2006-10-08 |
| 修稿时间： | 2006年10月8日 |
Overview of Formal Specification Patterns and Their Reuse |
| |
| LI Xin-ben.Overview of Formal Specification Patterns and Their Reuse[J].Journal of Zhejiang Wanli University,2007,20(2):32-36. |
| |
| Authors: | LI Xin-ben |
| |
| Abstract: | The research on formal specification for design patterns acts an important role in reuse of design patterns.Specification patterns are design patterns that are expressed in a formal specification language.This paper analyses and compares several main methods of formal specification for design patterns,from points of view of pattern definition,reuse mechanisms,available tools and usability.And finally,the problems of existed methods and the future directions on the area are discussed. |
| |
| Keywords: | design pattern formal method specification pattern reuse |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
