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