骆华俊
- 作品数:4 被引量:61H指数:2
- 供职机构:中国科学院软件研究所更多>>
- 发文基金:“九五”国家科技攻关计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 可视化软件体系结构描述工具XYZ/ADL的设计与实现被引量:2
- 2001年
- 在时态逻辑语言XYZ/E的基础上 ,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL ,它采用组件、连接件及交互端等基本设计单元 ,可同时描述软件体系结构的静态与动态行为 ,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡 ,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。
- 张广泉骆华俊郑建丹
- 关键词:时态逻辑可视化模块化程序设计逐步求精法
- 基于时态逻辑的软件体系结构描述语言及其可视化环境被引量:8
- 2001年
- 在时态逻辑语言XYZ/E的基础上,建立了一种以可视化图形表示的软件体系结构描述语言XYZ/ADL.它可同时描述软件体系结构的静态与动态行为,能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。
- 张广泉郑建丹骆华俊
- 关键词:时态逻辑XYZ/E软件体系结构体系结构描述语言可视化
- 可视化体系结构描述语言XYZ/ADL被引量:54
- 2000年
- 提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 .
- 骆华俊唐稚松郑建丹
- 关键词:时序逻辑语言可视化体系结构软件工程
- 可视化体系结构描述语言XYZ/ADL
- 研究人员针对XYZ系统特征提出了可视化软件体系结构描述语言XYZ/ADL,并以它作为XYZ系统的界面语言.XYZ/ADL是基于一种被称为组件(Component)的基本构件,实际上组件正是模块概念的推广,它包括两个方面:...
- 骆华俊
- 关键词:XYZ系统时序逻辑语言软件体系结构体系结构描述语言