可视化软件体系结构描述工具XYZ/ADL的设计与实现  

The Design and Implementation of a Visual Software Architecture Description Tool XYZ/ADL

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

机构地区：[1]重庆师范学院数学与计算机科学系,重庆400047 [2]中国科学院软件所计算机科学开放研究实验室,北京100080

出　　处：《重庆师范学院学报（自然科学版）》2001年第2期1-6,共6页Journal of Chongqing Normal University(Natural Science Edition)

基　　金：国家"九五"重点科技攻关计划项目 (98 780 0 1 0 7 0 1) ;国家 86 3高科技项目 (86 3 3 0 6 ZT0 2 0 4 0 1) ;国家自然科学基

摘　　要：在时态逻辑语言XYZ/E的基础上 ,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL ,它采用组件、连接件及交互端等基本设计单元 ,可同时描述软件体系结构的静态与动态行为 ,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡 ,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。A visual software architecture description tool XYZ/ADL based on temporal language XYZ/E.XYZ/ADL is composed of component ,connector,port and etc,by which 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.

关 键 词：时态逻辑 软件体系结构 体系结构描述工具 XYI/ADL 可视化 模块化程序设计 逐步求精法 

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