| 软件体系结构求精研究 |
| |
| 引用本文： | 李伟,;李长云.软件体系结构求精研究[J].微机发展,2008(9):79-82. |
| |
| 作者姓名： | 李伟 ;李长云 |
| |
| 作者单位： | 湖南工业大学计算机与通信学院 |
| |
| 基金项目： | 国家自然科学基金资助项目（60773110）;湖南省教育厅优秀青年项目（06B023）;湖南省学位与研究生研究课题（06B28）;湖南工业大学博士基金资助项目 |
| |
| 摘 要： | 为了保证软件质量，提高软件可靠性、可重用性和可维护性，软件体系结构这一概念自提出以来就得到广泛关注，成为软件工程的一项重要研究领域。软件体系结构求精作为体系结构从抽象到具体的形式化方法，连接了体系结构分析到具体实现之间的鸿沟，从而有效地保证了软件体系结构的层次性和可跟踪性。良好的软件体系结构求精方法使得软件开发自动化．加速软件产品的交付过程，降低软件成本，以及提高软件质量。针对体系结构求精研究的主要内容，较系统地阐述了几种体系结构求精分类方法，并对求精检测的相关内容作了介绍，最后是对体系结构求精以后工作的展望。
|
| 关 键 词： | 软件体系结构 求精 模型检测 |
Research on Software Architecture Refinement |
| |
| LI Wei,LI Chang-yun.Research on Software Architecture Refinement[J].Microcomputer Development,2008(9):79-82. |
| |
| Authors: | LI Wei LI Chang-yun |
| |
| Affiliation: | LI Wei, LI Chang-yun (College of Computer and Communication, Hunan University of Technology, Zhuzhou 412008, China) |
| |
| Abstract: | In order to improve the quality,reuse and maintenance of software,software architecture gradually becomes an important research field of software engine since it was presented.As a formal method from abstraction to concretion,architecture refinement could assure the level and traceability of software architecture and well refinement method can speed up the software delivery and cut down the cost,so as to improve the quality of software.Several methods of architecture refinement are illustrated and refinement checking is introduced in this paper.In the end,the research of architecture refinement is forecasted. |
| |
| Keywords: | software architecture refinement model checking |
| 本文献已被 CNKI 维普 等数据库收录！ |
