%0 Journal Article
%T Refinement Methods for Software Architecture<br>软件体系结构求精方法研究
%A RONG Mei ZHANG Guang-Quan
%A <br>戎玫
%A 张广泉
%J 计算机科学
%D 2003
%I 
%X 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.
%K Software architecture
%K Component-based
%K Refinement
%K XYZ/E
%K Temporal logic language<br>软件工程
%K 软件体系结构
%K 软件系统
%K 求精方法
%K 系统组件
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=9D9D089CCC24253B&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=E158A972A605785F&sid=6270DC1B5693DDAF&eid=4DB1E72614E68564&journal_id=1002-137X&journal_name=计算机科学&referenced_num=21&reference_num=8