|
|||||
|
|
| 可视化软件体系结构描述工具XYZ／ADL的设计与实现 | |
| 引用本文： | 张广泉,骆华俊,等.可视化软件体系结构描述工具XYZ／ADL的设计与实现[J].重庆师范学院学报,2001,18(2):1-6. |
| 作者姓名： | 张广泉 骆华俊 |
| 作者单位： | [1]重庆师范学院数学与计算机科学系，重庆400047 [2]中国科学院软件所计算机科学开放研究实验室，北京100080 |
| 摘 要： | 在时态逻辑语言XYZ／E的基础上，建立一种以可视化图形表示的软件体系结构描述工具XYZ／ADL，它采用组件，连接件及交互端等基本设计单元，可同时描述软件体系结构的静态与动态行为，该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程度设计方法和基于规范的逐步求精方法有机地结合起来。 |
| 关 键 词： | 时态逻辑 软件体系结构 体系结构描述工具 XYI／ADL 可视化 模块化程序设计 逐步求精法 |
| 本文献已被 维普 等数据库收录！ | |