基于时态逻辑的软件体系结构描述语言及其可视化环境

• 作者: 张广泉 郑建丹 骆华俊
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 时态逻辑XYZ/E软件体系结构体系结构描述语言XYZ/ADL
• 年，卷（期）: 2001,（5）
• 所属期刊栏目: 博士论坛
• 页码范围: 14-16
• 页数: 3页
• 分类号: TP31
• 字数: 2370字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2001.05.005

摘要

在时态逻辑语言XYZ/E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ//ADL.它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	中科院软件所	3	18	2.0	3.0
2	郑建丹	中科院软件所	1	15	1.0	1.0
3	骆华俊	中科院软件所	1	15	1.0	1.0