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

An Architecture Description Language Based on Temporal Logic and Its Visual Support Environment

作　　者：张广泉[1] 郑建丹[1] 骆华俊[1] 

机构地区：[1]中科院软件所计算机科学开放研究实验室,北京100080

出　　处：《计算机工程与应用》2001年第5期14-16,共3页Computer Engineering and Applications

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

摘　　要：在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。： This paper presents a visual architecture description language XYZ／ADL based on temporal language XYZ／E.It can represent both of the static and dynamic aspects of software architecture.XYZ／ADL can finish smoothly the transformation between architectures in different abstract levels in a uniform，and combines advantages of the modular programming and specification－based programming．

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

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]