一种基于构件的软件体系结构求精方法及其应用  

Component-based Software Architecture Refinement and Its Application

作　　者：晏荣杰[1] 张广泉[2] 

机构地区：[1]华北电力大学计算机科学工程系 [2]重庆师范学院数学与计算机科学学院

出　　处：《重庆师范学院学报（自然科学版）》2003年第2期1-5,共5页Journal of Chongqing Normal University(Natural Science Edition)

基　　金：国家自然科学基金(60073020);国家高科技研究发展计划(863)课题(2001AA113200);中国科学院开放基金(SYSKF0303);重庆市应用基础研究项目(7479);重庆市运筹学与控制论重点实验室资助项目。

摘　　要：软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。Software architecture is an immature field in the discipline of software engineering. Researchers are still exploring the formalized description and refinement of software architecture. This paper analyzes the features of behavior replacementbased and stylebased architecture refinement methods and then put forward componentbased architecture refinement method.It demonstrates this method and its process in the development of a real system by using temporal logic language-XYZ/E formalizing the architecture of the system.

关 键 词：软件工程 软件体系结构 形式化描述 求精方法 时序逻辑语言 构件 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]