国家高技术研究发展计划(863-306-ZT02-04-01)
- 作品数：7 被引量：90H指数：4
- 相关作者：刘建宾郝克刚杨斌岳晓丽唐稚松更多>>
- 相关机构：汕头大学西北大学中国科学院软件研究所更多>>
- 发文基金：国家高技术研究发展计划“九五”国家科技攻关计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- PASCAL过程蓝图到抽象逻辑结构图的逆向映射
- 2002年
- 给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有效性定理。
- 刘建宾李小英
- 关键词：抽象逻辑结构图有效性程序设计PASCAL语言逆向映射
- 抽象逻辑结构图导出PASCAL过程蓝图的方法被引量：1
- 2001年
- 概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡＬ抽象逻辑结构图的有效性定理及其证明。
- 刘建宾郝克刚
- 关键词：抽象逻辑结构图PASCAL语言程序设计有效性
- 抽象逻辑结构图C++逻辑程序到概念程序的逆向映射
- 2002年
- 文章给出C++过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C++逻辑结点之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理及其证明。
- 刘建宾
- 关键词：抽象逻辑结构图有效性程序设计逻辑程序逆向映射
- 基于时态逻辑的软件体系结构描述语言及其可视化环境被引量：8
- 2001年
- 在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。
- 张广泉郑建丹骆华俊
- 关键词：时态逻辑XYZ/E软件体系结构体系结构描述语言可视化
- 基于XYZ/E描述和验证容错系统被引量：14
- 2002年
- 研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质.
- 郭亮唐稚松
- 关键词：容错系统时序逻辑语言软件系统
- 信牌驱动式工作流计算模型被引量：63
- 2000年
- 近年来 ,随着计算机和网络的广泛使用 ,支持复杂业务过程 ,以实现业务流程自动化为目标的工作流管理系统引起了研究机构及 IT产业界越来越多的关注 .工作流的自动化执行依赖于业务流程的形式化描述 ,从而保证流程参与者之间的协同工作以及数据的一致性和过程的可靠性 .因此流程建模 (过程定义 )是实现整个工作流管理系统的关键 .提出了一种新的工作流描述模型——信牌驱动式工作流计算模型 ,它是西北大学软件工程研究所最近开发的一个基于
- 岳晓丽杨斌郝克刚
- 关键词：工作流工作流模型PETRI网
- 最优化问题算法模式的研究被引量：5
- 2005年
- 论文在对最优化问题的结构和实例进行严格描述的基础上,提出一种沿算法框架、算法模式再到具体算法的路线来解决最优化算法设计问题的方法。文中对算法模式概念进行了重新定义,给出求解最优化问题的一个算法框架,以及从该算法框架导出算法模式、算法及其实现程序的实例,同时对算法模式的使用步骤,算法框架、算法模式与算法三者之间的关系,算法模式的编程实现技术进行了论述。
- 刘建宾田振宇郭伟斌郝克刚
