软件体系结构中四种常见风格的形式化 |
| |
引用本文: | 全亮.软件体系结构中四种常见风格的形式化[J].中国科技信息,2005(20):42. |
| |
作者姓名: | 全亮 |
| |
作者单位: | 华南理工大学软件学院,510640 |
| |
基金项目: | 华南理工大学校博士启动基金项目(项目编号:G03-E5041450) |
| |
摘 要: | 许多软件系统是从体系结构的设计开始的,然而这些体系结构的设计是非形式化的,为了使软件体系结构的设计有更科学的理论基础,更易于验证和自动化推导,更易于沟通理解同时把先进的设计思想保留下来,一个合适的形式化系统是必不可少的,而且形式化也是研究体系结构其他方面的最根本的基础。文章用软件体系结构描述语言WRIGHT对四种常见的体系结构风格进行了描述,同时说明了这些风格如何在一个设计中使用。
|
关 键 词: | 软件体系结构 软件体系结构风格 WRIGHT |
Formalization For 4 Software Architectural Styles |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 万方数据 等数据库收录! |
|