基于过程蓝图的程序环路复杂性度量方法 被引量：3

1

作者 刘建宾 李建忠 +1 位作者 余楚迎 杨林邦 《计算机科学》 CSCD 北大核心 2006年第6期267-269,283,共4页

提出一种基于过程蓝图的程序环路复杂性度量实现方法。将传统基于程序控制流图的度量信息抽取变为对过程蓝图的实现层表示-抽象实现结构图的信息抽取,避免程序源代码的语法分析和控制流图的构造,简化度量过程和实现,并提高度量处理的效率。

关键词 环路复杂性 McCabe度量 过程蓝图 抽象实现结构图 控制流图(CFG)

在线阅读 下载PDF 职称材料

基于过程蓝图的重构操作 被引量：5

2

作者 刘建宾 杨林邦 《计算机科学》 CSCD 北大核心 2007年第1期242-247,共6页

提出基于过程蓝图的模型重构操作形式,将传统的基于源代码的程序过程重构变为基于过程蓝图的可视化重构,使基于过程源代码的重构能够在更高抽象层次的过程模型中得到应用,避免程序源代码的语法分析,简化重构过程及其实现,从而提高了重... 提出基于过程蓝图的模型重构操作形式,将传统的基于源代码的程序过程重构变为基于过程蓝图的可视化重构,使基于过程源代码的重构能够在更高抽象层次的过程模型中得到应用,避免程序源代码的语法分析,简化重构过程及其实现,从而提高了重构处理的效率。 展开更多

关键词 模型重构 过程蓝图 前置条件 后置条件 行为保持

在线阅读 下载PDF 职称材料

PASCAL过程蓝图 被引量：2

3

作者 刘建宾 郝克刚 《计算机工程与设计》 CSCD 北大核心 2000年第6期28-31,共4页

提出一种面向标准PASCAL语言的程序处理逻辑图形化表示法—PASCAL过程蓝图。这种工程化表示法支持逻辑和实现两个层次的程序抽象表示，是一种简单实用、容易理解、结构良好的程序设计工具。文中给出PASCAL过程蓝图的形式化模型，抽象逻... 提出一种面向标准PASCAL语言的程序处理逻辑图形化表示法—PASCAL过程蓝图。这种工程化表示法支持逻辑和实现两个层次的程序抽象表示，是一种简单实用、容易理解、结构良好的程序设计工具。文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。 展开更多

关键词 PASCAL语言 程序设计 过程蓝图 图形表现

在线阅读 下载PDF 职称材料

VFP过程蓝图设计技术 被引量：2

4

作者 刘建宾 郝克刚 《计算机应用研究》 CSCD 北大核心 2001年第2期28-30,共3页

Visual FoxPro过程蓝图是一种面向Visual FoxPro语言的程序处理逻辑图表化表示法。这种工程化表示法支持逻辑和实现两个层次的程序抽象表示，是一种简单实用、容易理解、结构良好的程序设计工具，并给出Visual FoxPro过程蓝图的形式化... Visual FoxPro过程蓝图是一种面向Visual FoxPro语言的程序处理逻辑图表化表示法。这种工程化表示法支持逻辑和实现两个层次的程序抽象表示，是一种简单实用、容易理解、结构良好的程序设计工具，并给出Visual FoxPro过程蓝图的形式化模型和抽象逻辑结构图的图形表示方法。 展开更多

关键词 VFP过程蓝图 抽象逻辑结构图(ALSD) Visual FoxPro程序表示 Visual FoxPro程序设计

在线阅读 下载PDF 职称材料

过程蓝图程序表示模型与视图导出方法 被引量：5

5

作者 刘建宾 《计算机工程》 CAS CSCD 北大核心 2009年第21期13-16,共4页

针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映... 针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模型驱动设计过程规范化,有效提高程序生产率与可维护性。 展开更多

关键词 过程蓝图 多阶段程序表示模型 建模语言 模型驱动程序设计 视图导出

在线阅读 下载PDF 职称材料

抽象逻辑结构图到VFP过程蓝图的过渡与映射 被引量：1

6

作者 刘建宾 郝克刚 《计算机应用研究》 CSCD 北大核心 2001年第11期19-21,共3页

给出独立于程序实现语言的抽象逻辑结构图到VFP过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则 ;给出了抽象逻辑结构图程序表示的有效性定义。

关键词 抽象逻辑结构图 VFP 过程蓝图 程序设计 有效性 平滑过渡 数据库

在线阅读 下载PDF 职称材料

从概念程序表示到C++过程蓝图的映射 被引量：1

7

作者 刘建宾 郝克刚 《计算机工程与应用》 CSCD 北大核心 2001年第17期39-41,共3页

文章给出了与程序实现语言无关的概念层抽象逻辑结构图程序表示到C＋＋过程蓝图的平滑过渡方法和映射规则，给出了概念层和逻辑层抽象逻辑结构图的有效性定义、导出C＋＋逻辑层抽象逻辑结构图的有效性定理及其证明。

关键词 抽象逻辑结构图 C++ 过程蓝图 软件开发 概念程序

在线阅读 下载PDF 职称材料

抽象逻辑结构图到VB过程蓝图的导出与映射 被引量：1

8

作者 刘建宾 郝克刚 《小型微型计算机系统》 CSCD 北大核心 2002年第7期862-864,共3页

本文给出独立于程序实现语言的抽象逻辑结构图到 VB过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则 ,给出了抽象逻辑结构图程序表示的有效性定义、导出 VB抽象逻辑结构图的有效性定理及其证明 .

关键词 抽象逻辑结构图 VB过程蓝图 程序设计 有效性 VB语言

在线阅读 下载PDF 职称材料

Java过程蓝图 被引量：5

9

作者 刘建宾 《计算机科学》 CSCD 北大核心 2000年第7期88-91,共4页

1 引言计算机应用正进入网络时代,Java是一种广泛使用的网络编程语言,被称之为网络上的“世界语”。Java作为一种程序设计语言不仅具有简单、面向对象、分布式、解释执行、鲁棒、安全、平台无关、可移植、高性能、多线程以及动态性等特... 1 引言计算机应用正进入网络时代,Java是一种广泛使用的网络编程语言,被称之为网络上的“世界语”。Java作为一种程序设计语言不仅具有简单、面向对象、分布式、解释执行、鲁棒、安全、平台无关、可移植、高性能、多线程以及动态性等特点,更重要的是它支持以网络为中心的新型计算模式——Java计算模式,从而使Ja- 展开更多

关键词 面向对象 程序设计语言 Java过程蓝图

在线阅读 下载PDF 职称材料

过程蓝图统一元模型语法 被引量：2

10

作者 刘建宾 《计算机工程与设计》 CSCD 北大核心 2010年第13期3017-3021,共5页

为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法... 为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。 展开更多

关键词 过程蓝图 多阶段程序表示 统一元模型 抽象语法 良构规则 建模语言

在线阅读 下载PDF 职称材料

JAVA过程蓝图到抽象概念结构图的逆向映射与有效性 被引量：1

11

作者 刘建宾 《计算机科学》 CSCD 北大核心 2002年第6期143-146,18,共5页

1引言 抽象概念结构图[1]是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法.JAVA过程蓝图[2]是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示.抽象概念结构... 1引言 抽象概念结构图[1]是一种不依赖于程序实现语言的概念算法描述工具,是一种用于表示程序处理过程的抽象图形化表示方法.JAVA过程蓝图[2]是与JAVA语言相关的一种程序图形表示方法,它支持JAVA程序的逻辑层和实现层表示.抽象概念结构图与JAVA过程蓝图的结合构成了JAVA程序在概念、逻辑和实现三个层次上的描述表现体系. 展开更多

关键词 JAVA语言 程序设计语言 抽象概念结构图 逆向映射 有效性 过程蓝图

在线阅读 下载PDF 职称材料

PASCAL过程蓝图到抽象逻辑结构图的逆向映射

12

作者 刘建宾 李小英 《计算机工程与设计》 CSCD 2002年第3期1-4,7,共5页

给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概... 给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有效性定理。 展开更多

关键词 过程蓝图 抽象逻辑结构图 有效性 程序设计 PASCAL语言 逆向映射

在线阅读 下载PDF 职称材料

VFP过程蓝图到抽象逻辑结构图的逆向映射规则与同步更新方法

13

作者 郭伟斌 刘建宾 《计算机应用研究》 CSCD 北大核心 2002年第7期13-15,18,共4页

当对导出VFP抽象逻辑结构图逻辑层表示进行编辑操作时 ,必须解决抽象逻辑结构图概念层表示的一致性同步更新问题。给出VFP逻辑结点到概念结点的逆向映射规则及其一致性同步更新方法。

关键词 VFP 过程蓝图 抽象逻辑结构图 数据库 逆向映射规则 同步更新方法

在线阅读 下载PDF 职称材料

VB过程蓝图到抽象逻辑结构图的逆向映射规则及其双向映射有效性

14

作者 刘建宾 《小型微型计算机系统》 CSCD 北大核心 2003年第7期1264-1267,共4页

本文给出 VB过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则和双向映射规则的一种等价图形表示 .在定义概念结点与逻辑结点之间双向映射的有效性概念基础上 ,进一步给出双向映射的有效性定理 .本文的工作为

关键词 VB过程蓝图 抽象逻辑结构图 有效性 程序设计

在线阅读 下载PDF 职称材料

一种工程化的程序表现技术:过程蓝图 被引量：2

15

作者 刘建宾 《计算机工程与应用》 CSCD 北大核心 1996年第1期31-34,共4页

本文提出一种新的基于抽象逻辑结构图ALSD的工程化程序表示法—过程蓝图。这种表示法支持逻辑和实现两个层次的程序抽象表示,是一种简单、可理解性强、面向程序员和CASE的实用软件工具。

关键词 过程蓝图 软件工具 程序表现 工程化

全文增补中

程序蓝图模型重构操作实例研究

16

作者 梁朋举 刘建宾 郑丽伟 《计算机应用与软件》 CSCD 2016年第3期18-26,共9页

重构可以改善软件系统的内部结构,提高软件可理解性、可维护性,而又不改变软件的外部行为。传统的源码层次的重构虽有很多重构工具的支持,但是对于复杂软件的重构难度大,容易出错。针对这种情况,提出基于程序蓝图模型层次的重构。考虑到... 重构可以改善软件系统的内部结构,提高软件可理解性、可维护性,而又不改变软件的外部行为。传统的源码层次的重构虽有很多重构工具的支持,但是对于复杂软件的重构难度大,容易出错。针对这种情况,提出基于程序蓝图模型层次的重构。考虑到UML模型直观性的特点,给出UML类图模型在系统体系结构上的重构操作和实例,为重构在软件框架结构上的实施提供有力的支持。深入研究过程蓝图模型使用树形结构来描述程序的方法,定义过程蓝图相关重构操作并给出具体操作实例及过程,最后从过程蓝图模型生成新的源码。实验结果表明,UML模型和过程蓝图模型层次上的重构,提高了重构的抽象级别和效率。该方法能有效支持复杂软件的重构,并减少出错率。 展开更多

关键词 重构 UML模型 过程蓝图模型 程序模型

在线阅读 下载PDF 职称材料

抽象逻辑结构图C++逻辑程序到概念程序的逆向映射

17

作者 刘建宾 《计算机工程与应用》 CSCD 北大核心 2002年第2期73-75,共3页

文章给出C++过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C++逻辑结点之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理及其证明。

关键词 C++过程蓝图 抽象逻辑结构图 有效性 程序设计 逻辑程序 概念程序 逆向映射

在线阅读 下载PDF 职称材料