基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述 |
| |
引用本文: | 张广泉,朱雪阳,郑建丹. 基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述[J]. 重庆师范大学学报(自然科学版), 2002, 19(1): 1-3 |
| |
作者姓名: | 张广泉 朱雪阳 郑建丹 |
| |
作者单位: | 1. 重庆师范学院数学与计算机科学系,重庆,400047;中国科学院计算机科学重点实验室,北京,100080 2. 中国科学院计算机科学重点实验室,北京,100080 |
| |
基金项目: | 国家自然科学基金,国家高技术研究发展计划(863计划),中国科学院计算所智能信息处理重点实验室基金,60073020,2001AA113200,2k05,,, |
| |
摘 要: | XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,文[1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件.本文讨论如何通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.
|
关 键 词: | 时态逻辑语言 XYZ/E 软件体系结构 体系结构风格 |
文章编号: | 1001-8905(2002)01-0001-03 |
修稿时间: | 2001-06-29 |
Research of Software Architecture Based on the Temporal Logic Language XYZ/E (Ⅱ)--A description of typical architecture styles |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|