中文摘要：

研究软件体系结构的首要问题是如何描述体系结构模型；运用XYZ／ADL描述软件体系结构模型，可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范，便于体系结构的逐步求精及相关性质分析；以电梯控制系统为例，运用XYZ／ADL形式化地描述了系统体系结构的风格、静态模型和动态模型，并对体系结构模型的主要组件进行了逐步求精，使系统的体系结构从最初的总体功能规范平滑地过渡到了最终的可执行程序；研究表明：形式化描述语言XYZ／ADL在实时控制系统的开发中有着重要的实践意义。

英文摘要：

The first issue of the Software Architecture （SA） research is how to represent and describe the models of a system. XYZ/ ADL is a kind of Architecture Description Language that can describe the specification of different abstract levels under the unity sequential logic frame, from static semantics to accomplishment of a system. It is convenient for refining SA as well as analysis of the related properties. XYZ/ADL is used to describe the SA style, the static and dynamic models of elevator control system, refine the major components gradually. Thus the SA of the system is transited to the final executable program from the initial general function specification. Research indicates XYZ/ ADL has an important significance for the development of Real--time Control System.