郑建丹
- 作品数：8 被引量：82H指数：4
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金“九五”国家科技攻关计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 可视化软件体系结构描述工具XYZ/ADL的设计与实现被引量：2
- 2001年
- 在时态逻辑语言XYZ/E的基础上 ,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL ,它采用组件、连接件及交互端等基本设计单元 ,可同时描述软件体系结构的静态与动态行为 ,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡 ,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。
- 张广泉骆华俊郑建丹
- 关键词：时态逻辑可视化模块化程序设计逐步求精法
- 基于时态逻辑语言XYZ/E的软件体系结构研究(I)——基本组件和连接件的描述被引量：3
- 2001年
- XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构。本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件 ;它为进一步描述体系结构风格提供了一个基础。
- 张广泉郑建丹舒明
- 关键词：XYZ/E软件体系结构组件连接件程序语义
- WSDW:一种基于Web的适用软件开发的工作流管理系统
- Internet/Intranet/WWW技术的日益成熟以及资源、应用的日益丰富,为分布式工作流管理系统提供了一个良好的计算环境.而中国现阶段的软件企业迫切需要一个成熟的、先进的软件开发过程管理系统,来指导企业进行高效、...
- 李浩郑建丹
- 关键词：工作流管理系统软件开发工作流模型体系结构
- 文献传递
- 软件体系结构描述语言ADL被引量：14
- 2000年
- 主要阐述了现有的常见软件体系结构描述语言ADL的特点和功能 ,并简要介绍了一种新的可视化体系结构描述语言。
- 郑建丹张广泉
- 关键词：软件体系结构软件体系结构风格体系结构描述语言ADL
- 基于时态逻辑的软件体系结构描述语言及其可视化环境被引量：8
- 2001年
- 在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。
- 张广泉郑建丹骆华俊
- 关键词：时态逻辑XYZ/E软件体系结构体系结构描述语言可视化
- 基于组件的逐步求精程序设计方法
- 基于组件的由静态语义向动态语义逐步过渡的程序设计方法从体系结构的基本元素——组件入手,用XYZ/E形式化体系结构,每次的求精都是对组件的求精,而不是整个体系结构,组件的求精就是用组件的动态语义代替组件的静态语义,由于XY...
- 郑建丹
- 关键词：XYZ系统软件体系结构形式化方法
- 文献传递
- 基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述被引量：3
- 2002年
- XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构 ,文 [1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件。本文讨论如何通过对这些组件及连接件进行特定的组合 ,来表示几种重要的软件体系结构风格。
- 张广泉朱雪阳郑建丹
- 关键词：XYZ/E软件体系结构组件连接件软件开发
- 可视化体系结构描述语言XYZ/ADL被引量：54
- 2000年
- 提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 .
- 骆华俊唐稚松郑建丹
- 关键词：时序逻辑语言可视化体系结构软件工程
