摘要
在时态逻辑语言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.
出处
《重庆师范学院学报（自然科学版）》
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)
国家自然科学基
