摘要： 软件体系结构是软件工程领域中一个重要的研究内容，研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ／ADL与UML两种描述方法在软件体系结构中的应用，寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ／ADL与UML在电梯控制系统体系结构建模中的应用问题，并运用基于构件的求精方法对该系统的主要组件进行了求精。

关键词: 软件体系结构 描述方法 体系结构模型 可视化方法 形式化方法 研究内容 工程领域 软件系统 结构描述 面向对象 逻辑理论 应用问题 结构建模 系统体系 电梯控制 求精方法 UML ADL 时序 组件 构件