基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述

	基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述
	张广泉 1; 朱雪阳 2; 郑建丹 2
	2002
发表期刊	重庆师范学院学报：自然科学版
ISSN	1001-8905
卷号	19.0 期号:1.0 页码:1
摘要	XYZ／E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又能表示程序的动态语义，这一特征恰好适合分层描述软件体系结构，文1采用XYZ／E语言刻画了软件体系结构的基本组件与连接件。本文讨论如何通过对这些组件及连接件进行特定的组合，来表示几种重要的软件体系结构风格。
关键词	时态逻辑语言 XYZ／E 软件体系结构体系结构风格组件连接件软件开发
语种	英语
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/33442
专题	中国科学院计算技术研究所期刊论文_中文
作者单位	1.重庆师范大学 2.中国科学院计算技术研究所
推荐引用方式 GB/T 7714	张广泉,朱雪阳,郑建丹. 基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述[J]. 重庆师范学院学报：自然科学版,2002,19.0(1.0):1.
APA	张广泉,朱雪阳,&郑建丹.(2002).基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述.重庆师范学院学报：自然科学版,19.0(1.0),1.
MLA	张广泉,et al."基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述".重庆师范学院学报：自然科学版 19.0.1.0(2002):1.