| 基于XYZ/ADL的电梯控制系统体系结构的描述与求精 |
| |
| 引用本文： | 张玲红,张广泉.基于XYZ/ADL的电梯控制系统体系结构的描述与求精[J].计算机测量与控制,2011,19(9). |
| |
| 作者姓名： | 张玲红 张广泉 |
| |
| 作者单位： | 1. 宁夏财经职业技术学院计算机系,宁夏银川,750021
2. 苏州大学计算机科学与技术学院,江苏苏州,215006 |
| |
| 基金项目： | 国家自然科学基金(60073020) |
| |
| 摘 要： | 研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/ADL形式化地描述了系统体系结构的风格、静态模型和动态模型,并对体系结构模型的主要组件进行了逐步求精,使系统的体系结构从最初的总体功能规范平滑地过渡到了最终的可执行程序;研究表明:形式化描述语言XYZ/ADL在实时控制系统的开发中有着重要的实践意义。
|
| 关 键 词： | XYZ/ADL 软件体系结构 描述 求精 电梯控制系统 |
Describing and Refining Software Architecture of Elevator Control System Based on XYZ/ADL |
| |
| Zhang Linghong,Zhang Guangquan.Describing and Refining Software Architecture of Elevator Control System Based on XYZ/ADL[J].Computer Measurement & Control,2011,19(9). |
| |
| Authors: | Zhang Linghong Zhang Guangquan |
| |
| Affiliation: | Zhang Linghong1,Zhang Guangquan2(1.Computer Science Department,Ningxia Finance and Economics Technological Institution,YinChuan 750021,China,2.Computer Science and Technology Department,Soochow University,Suzhou 215006,China) |
| |
| Abstract: | |
| |
| Keywords: | XYZ/ADL software architecture describing refining elevator control system |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
