应用框架的形式化研究

应用框架的形式化研究 Research on the Formalization of Framework 姜东胜 JIANG Dong\|sheng 1 first-author 张苓 ZHANG Ling 1 陈莘萌 CHEN Xin\|meng 1 武汉大学数学与计算机科学学院、武汉大学软件工程国家重点实验室,武汉,430072 武汉大学数学与计算机科学学院、武汉大学软件工程国家重点实验室,武汉,430072 College of Mathematics and Computer Science College of Mathematics and Computer Science 从软件体系结构的角度 ,运用 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. 设计样本 应用框架 软件体系结构 软件工程 design pattern framework software architecture software engineering 10.14188/j.1671-8836.2000.03.007 TP311.52 2000-03-01 2021-04-01 3