| 基于时序逻辑语言XYZ/E的软件体系结构描述方法 |
| |
| 引用本文： | 张广泉,唐稚松. 基于时序逻辑语言XYZ/E的软件体系结构描述方法[J]. 淮阴师范学院学报(自然科学版), 2002, 1(1): 26-31 |
| |
| 作者姓名： | 张广泉 唐稚松 |
| |
| 作者单位： | 中国科学院,软件研究所,计算机科学重点实验室,北京,100080 |
| |
| 基金项目： | 国家 九五"重点科技攻关项目(98 780 0 1 0 7 0 1),国家自然科学基金资助项目(60 0 73 0 2 0),国家 863高科技项目(2 0 0 1AA113 2 0 0),中科院计算机科学重点实验室青年科学基金课题(2k0 5) |
| |
| 摘 要： | XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.
|
| 关 键 词： | 软件体系结构 时序逻辑语言 XYZ/E 组件 连接件 体系结构风格 |
| 文章编号： | 1671-6876(2002)01-0026-06 |
| 修稿时间： | 2002-01-08 |
A Software Architecture Description Approach Based on the Temporal Logic Language XYZ/E |
| |
| A Software Architecture Description Approach Based on the Temporal Logic Language XYZ/E. A Software Architecture Description Approach Based on the Temporal Logic Language XYZ/E[J]. Journal of Huaiyin Teachers College(Natrual Science Edition), 2002, 1(1): 26-31 |
| |
| Authors: | A Software Architecture Description Approach Based on the Temporal Logic Language XYZ/E |
| |
| Abstract: | XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program. It can describes architecture in different abstract levels. In this paper, XYZ/E is used to describe software architecture, specifically the components, connectors and architecture styles . |
| |
| Keywords: | software architecture temporal logic language XYZ/E component connector architecture styles |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
