|
|||||
|
|
| 基于时态逻辑语言XYZ／E的软件体系结构研究（Ⅰ）－－基本组件和连接件的描述 | |
| 作者姓名： | 张广泉 郑建丹 |
| 作者单位： | [1]重庆师范学院数学与计算机科学系，重庆400047 [2]中国科学院软件所计算机科学开放研究实验室，北京100080 |
| 摘 要： | XYZ／E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又表表示程序的动态语义，这一特征恰好分层描述软件体系结构。本文采用XYZ／E语言刻画了软件体系结构的基本组件与连接件；它为进一步描述体系结构风格提供了一个基础。 |
| 关 键 词： | 时态逻辑语言 XYZ／E 软件体系结构 组件 连接件 程序语义 程序风格 |
| 本文献已被 维普 等数据库收录！ | |