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

• 作者: 唐稚松 朱雪阳
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 软件体系结构 体系结构描述语言 时序逻辑语言XYZ/E 规范
• 年，卷（期）: 2003,（4）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 713-720
• 页数: 8页
• 分类号: TP311
• 字数: 5887字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐稚松		7	188	6.0	7.0
2	朱雪阳		2	97	2.0	2.0