摘要
提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 .
In this paper, the authors describe a visual language XYZ/ADL (XYZ/architecture description language) for software architecture description based on XYZ/E to support a new approach of architecture based programming. XYZ/ADL is composed of components, connectors and ports, by which it can describe many commonly used kinds of software architectures. Since XYZ/E can represent both statistic and dynamic semantics in a unified form, XYZ/ADL which is built on it can finish smoothly the transformation between architectures at different abstract levels in a uniform frame.
出处
《软件学报》
EI
CSCD
北大核心
2000年第8期1024-1029,共6页
Journal of Software
基金
国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 1)
国家 86 3高科技项目基金! (No.86 3- 30 6 -ZT0 2 - 0 4- 0 1)资
关键词
时序逻辑语言
可视化
体系结构
软件工程
Temporal logic language, software architecture, architecture description language, component, connector, port.