摘要
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 semanucs to its dynamic semantics.
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.
出处
《计算机科学》
CSCD
北大核心
2003年第4期108-110,共3页
Computer Science
基金
国家自然科学基金(No:60073020)
重庆市应用基础研究项目
中国科学院计算机科学重点实验室开放课题基金
