摘要
概述了软件体系结构的基本定义、分类与描述语言 ;介绍了一种基于时态逻辑语言XYZ/E的可视化体系结构描述语言XYZ/ADL ,它可同时描述软件体系结构的静态与动态行为 ;最后提出进一步的工作。
The paper summarizes the fundamental definition,classification and description languages of software architecture, presents a visual architecture description language XYZ/ADL,which can describe the static and dynamic aspects of the software architecture,Finally further research is recommended.
出处
《重庆师范学院学报（自然科学版）》
2000年第3期1-5,27,共6页
Journal of Chongqing Normal University(Natural Science Edition)
基金
国家九五重点科技攻关项目!(98 780 0 1 0 7 0 1)
国家863高科技项目!(86 3 30 6 ZT0 2 0 4 0 1)
国家自然科学基金项目!(6 96
关键词
软件体系结构
描述语言
时态逻辑
software architecture
architecture description language
temporal logic
