| 应用框架的形式化研究 |
| |
| 引用本文： | 姜东胜,张苓,陈莘萌. 应用框架的形式化研究[J]. 武汉大学学报(理学版), 2000, 46(3): 285-288 |
| |
| 作者姓名： | 姜东胜 张苓 陈莘萌 |
| |
| 作者单位： | 武汉大学,数学与计算机科学学院;武汉大学,软件工程国家重点实验室,武汉,430072 |
| |
| 摘 要： | 从软件体系结构的角度，运用z-规范在系统级描述了应用框架和设计样本的语义，包括设计样本的组成、联系、合成和运用设计样本组成应用框架等，与通常的非形式化方式，如图表、自然语言等描述形式相比，具有语义精确、易于实现和交流等优点．
|
| 关 键 词： | 设计样本；应用框架；软件体系结构；软件工程 |
| 文章编号： | 0253-9888(2000)03-0285-04 |
| 修稿时间： | 1999-12-27 |
Research on the Formalization of Framework |
| |
| JIANG Dong-sheng,ZHANG Ling,CHEN Xin-meng. Research on the Formalization of Framework[J]. JOurnal of Wuhan University:Natural Science Edition, 2000, 46(3): 285-288 |
| |
| Authors: | JIANG Dong-sheng ZHANG Ling CHEN Xin-meng |
| |
| Affiliation: | JIANG Dong-sbeng;(College of Mathematics and Computer Science; State Key Laboratory of Software Englneering,Wuhan University, Wuhan 430072,China);ZHANG Ling,CHEN Xin-meng;(College of Mathematics and Computer Science; State Key Laboratory of Software Englneering,Wuhan University, Wuhan 430072.China) |
| |
| Abstract: | The use of framework and design patterns can facilitate the reuse of software system, but they are usually describe by informal ways such as graph, natural language etc. Being lack but they are usually describe by informal ways such as graph, natural language etc. Being lack of refined semantics has limited their reuse. The paper use Z-notation describe some design patterns' semantics, including the component of design pattern, their connection , Composite and integration into a framework. |
| |
| Keywords: | design Pattern framework software architecture software engineering |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
