摘要
从软件体系结构的角度 ,运用 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.
出处
《武汉大学学报（自然科学版）》
CSCD
2000年第3期285-288,共4页
Journal of Wuhan University(Natural Science Edition)
关键词
应用框架
软件体系结构
软件工程
形式化
design pattern
framework
software architecture
software engineering
