基于时序逻辑的软件体系结构描述语言XYZ/ADL

被引：40

作者：

朱雪阳

唐稚松

机构：

[1] 中国科学院软件研究所计算机科学重点实验室

[2] 中国科学院软件研究所计算机科学重点实验室北京

来源：

软件学报 | 2003年 / 04期

关键词：

软件体系结构; 体系结构描述语言; 时序逻辑语言XYZ/E; 规范;

D O I：

10.13328/j.cnki.jos.2003.04.001

中图分类号：

TP312 [程序语言、算法语言];

学科分类号：

081202 ; 0835 ;

摘要：

体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格.

引用

页码：713 / 720

页数：8