排序方式: 共有5条查询结果,搜索用时 93 毫秒
1
1.
可视化软件体系结构描述工具XYZ/ADL的设计与实现 总被引:1,自引:1,他引:0
在时态逻辑语言XYZ/E的基础上,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL,它采用组件、连接件及交互端等基本设计单元,可同时描述软件体系结构的静态与动态行为,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来. 相似文献
2.
XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构.本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础. 相似文献
3.
XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又表表示程序的动态语义,这一特征恰好分层描述软件体系结构。本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件;它为进一步描述体系结构风格提供了一个基础。 相似文献
4.
软件体系结构描述语言ADL 总被引:6,自引:0,他引:6
主要阐述了现有的常见体系结构描述语言ADL特点和功能,并简要介绍了一种新的可视化体系结构描述语言。 相似文献
5.
XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,文[1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件.本文讨论如何通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格. 相似文献
1