【摘要】 软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。更多还原

【Abstract】 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.更多还原