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

作     者：张广泉 郑建丹 骆华俊 Zhang Guangqnan;Zheng Jiandan;Luo Huajun

作者机构：中科院软件所计算机科学开放研究实验室北京100080 

基　　金：国家自然科学基金!(60073020) 国家"九五"攻关项目!(98-780-01-07-01) 863高科技项目!(863-306-ZT02-04-01)::中科 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2001年第37卷第5期

页      码：14-16页

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

主 题 词：时态逻辑 XYZ/E 软件体系结构 体系结构描述语言 可视化 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2001.05.005

馆 藏 号：203125573...