摘要
XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合。
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 .
出处
《淮阴师范学院学报（自然科学版）》
CAS
2002年第1期26-31,共6页
Journal of Huaiyin Teachers College;Natural Science Edition
基金
国家 九五"重点科技攻关项目(98 780 0 1 0 7 0 1)
国家自然科学基金资助项目(60 0 73 0 2 0)
国家 863高科技项目(2 0 0 1AA113 2 0 0)
中科院计算机科学重点实验室青年科学基金课题(2k0 5)
