中文摘要：

研究电梯控制系统中组件之间复杂的信号传输关系。针对传统的建模方法不能同时精确描述系统模型的静态与动态语义的问题，从系统体系结构的组件与连接件入手．探讨形式化描述语言XYZ／ADL描述系统模型的特性．运用XYZ／ADL形式化地描述电梯控制系统的总体功能规范、主要组件的结构模型、组件之间信号传输的动态模型和电梯运行模型，并基于所构建的形式化描述模型实现系统的仿真运行。结果表明．基于XYZ／ADL描述的形式化模型能准确分析电梯组件之间复杂的信号传输关系．精确模拟电梯运行的各种状态。

英文摘要：

Researches on the complicted signal transport belween components of elevator control system. In view of the prot）lenl lhat the traditional mo（lel-buihling method ean＇t describe the statie and dynamic semantics, from the stan（lpoinl of the components and eonneetors of the software ar- chitecture, diseusses the properties of XYZ/ADL about describing the system models as a kind of description language. Describes the general function specification elevalor control system by XYZ/ADL. as well as the structural models of tile major components, the dynamic models of sig- nal transport between components and the elevator rtmning models. Realizes simulation based on the established formal models. The simulation result shows that the formal models based on XYZ/ADL can analyse truly the complicated signal transpori between components of elevator （.ontrol system and simulate accurately every conditinns of the elevator.