软件体系结构:概念、风格与描述语言

被引：6

作者：

张广泉

机构：

[1] 重庆师范学院数学与计算机科学系!重庆

[2] 中国科学院计算机科学开放研究实验室

[3] 北京

来源：

关键词：

软件体系结构; 体系结构描述语言; 时态逻辑;

D O I：

暂无

中图分类号：

TP311 [程序设计、软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

概述了软件体系结构的基本定义、分类与描述语言 ;介绍了一种基于时态逻辑语言XYZ/E的可视化体系结构描述语言XYZ/ADL ,它可同时描述软件体系结构的静态与动态行为 ;最后提出进一步的工作。

引用

页码：1 / 5+27 +27

页数：6