基于XYZ/ADL的电梯控制系统体系结构的描述与求精  

Describing and Refining Software Architecture of Elevator Control System Based on XYZ/ADL

作　　者：张玲红[1] 张广泉[2] 

机构地区：[1]宁夏财经职业技术学院计算机系,宁夏银川750021 [2]苏州大学计算机科学与技术学院,江苏苏州215006

出　　处：《计算机测量与控制》2011年第9期2176-2179,共4页Computer Measurement &Control

基　　金：国家自然科学基金(60073020)

摘　　要：研究软件体系结构的首要问题是如何描述体系结构模型;运用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.

关 键 词：XYZ/ADL 软件体系结构 描述 求精 电梯控制系统 

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