| 软件体系结构求精方法研究 |
| |
| 引用本文： | 戎玫,张广泉.软件体系结构求精方法研究[J].计算机科学,2003,30(4):108-110. |
| |
| 作者姓名： | 戎玫 张广泉 |
| |
| 作者单位： | 1. 暨南大学中旅学院计算机中心 深圳 518053
2. 苏州大学计算机科学与技术学院 苏州 215006；中国科学院软件所计算机科学重点实验室 北京 100080 |
| |
| 基金项目： | 国家自然科学基金(No:60073020)，重庆市应用基础研究项目，中国科学院计算机科学重点实验室开放课题基金 |
| |
| 摘 要： | 1.引言软件设计在相当大的程度上可与建筑设计相类比,在古今中外建筑设计中,有诸多如欧洲的“歌特式”、“巴洛克式”、“维多利亚式”,中国的“园林式”、“宫廷式”等不同结构风格的建筑。同样在软件设计上,经过多年的理论探索和工程实践,也逐渐形成了一系列不同结构风格的软件体系结构。如UNIX操作系统中的管道一过滤器(pipe-filters)风格、分布式系统中典型的客户机/服务器(client/server)风格以及通信系统中的分层(layer)系统等等。
|
| 关 键 词： | 软件工程 软件体系结构 软件系统 求精方法 系统组件 |
Refinement Methods for Software Architecture |
| |
| RONG Mei ZHANG Guang-Quan.Refinement Methods for Software Architecture[J].Computer Science,2003,30(4):108-110. |
| |
| Authors: | RONG Mei ZHANG Guang-Quan |
| |
| Abstract: | Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently .software architecture has been an important research sub-field of software engineering. In this paper, our research work focus on refinement methods of software architecture. By studying the several refinement methods for software architectural design.we present a component-based refinement method that refines an architectural design by replacing a component's static semantics to its dynamic semantics. |
| |
| Keywords: | Software architecture Component-based Refinement XYZ/E Temporal logic language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
