| 基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述 |
| |
| 引用本文： | 张广泉,郑建丹,舒明.基于时态逻辑语言XYZ/E的软件体系结构研究(Ⅰ)——基本组件和连接件的描述[J].重庆师范大学学报(自然科学版),2001,18(3):1-4. |
| |
| 作者姓名： | 张广泉 郑建丹 舒明 |
| |
| 作者单位： | 1. 重庆师范学院数学与计算机科学系,重庆,400047;中国科学院软件所计算机科学开放研究实验室,北京,100080
2. 中国科学院软件所计算机科学开放研究实验室,北京,100080 |
| |
| 基金项目： | 国家自然科学基金，中国科学院计算所智能信息处理重点实验室基金，60073020，2k05，， |
| |
| 摘 要： | XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础.
|
| 关 键 词： | 时态逻辑语言 XYZ/E 软件体系结构 组件 连接件 |
| 文章编号： | 1001-8905(2001)03-0001-04 |
| 修稿时间： | 2001年3月5日 |
| 本文献已被 万方数据 等数据库收录！ |
|
