应用框架的形式化研究  

Research on the Formalization of Framework

作　　者：姜东胜[1] 张苓[1] 陈莘萌[1] 

机构地区：[1]武汉大学数学与计算机科学学院,武汉大学软件工程国家重点实验室,武汉430072

出　　处：《武汉大学学报（自然科学版）》2000年第3期285-288,共4页Journal of Wuhan University(Natural Science Edition)

摘　　要：从软件体系结构的角度 ,运用 Z-规范在系统级描述了应用框架和设计样本的语义 ,包括设计样本的组成、联系、合成和运用设计样本组成应用框架等 ,与通常的非形式化方式 ,如图表、自然语言等描述形式相比 ,具有语义精确。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 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.

关 键 词：应用框架 软件体系结构 软件工程 形式化 

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