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

• 作者: 张广泉 张玲红
• 来源期刊: 计算机测量与控制
• 关键词: XYZ/ADL 软件体系结构 描述 求精 电梯控制系统
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 控制技术
• 页码范围: 2176-2179
• 分类号: TP311
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
2	张玲红	宁夏财经职业技术学院计算机系	12	15	3.0	3.0