抽象概念结构图到JAVA过程蓝图的平滑过渡及一致性

Abstract Concept Structure Diagram,an Abstract diagrammatized representation for program process logic ,is a concept algorithm description tool independent of program implementing language. In this paper ,a formal model of Abstract Concept Structure Diagram,its graphical notations,and a smooth transition method from Abstract Concept Structure Diagram to JAVA Process Blueprint and mapping rules are presented. The validation and consistency of concept program and logical program is defined,and related theorems and prove procedures are also presented.

Java过程蓝图

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

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

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

PASCAL过程蓝图

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

VFP过程蓝图设计技术

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

抽象逻辑结构图到VFP过程蓝图的过渡与映射

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

从概念程序表示到C++过程蓝图的映射

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

抽象逻辑结构图到VB过程蓝图的导出与映射

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

抽象逻辑结构图导出PASCAL过程蓝图的方法

概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡＬ抽象逻辑结构图的有效性定理及其证明。

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

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

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

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

VB过程蓝图

ＶＢ过程蓝图是一种面向Ｖｉｓｕａｌ Ｂａｓｉｃ语言的程序处理逻辑图表化表示法。这种工程化表示法支持 逻辑和实现两个层次的程序抽象表示，是一种简单实用、容易理解、结构良好的程序设计工具。文中 给出ＶＢ过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。

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

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

JACKSON程序规格说明到过程蓝图的映射

本文在JACKSON程序规格说明和过程蓝图的形式化定义基础上,给出了从JAOKSON程序规格说明出发,导出过程蓝,图时转换映射方法。使用过程蓝图取代结构文本作为JAOKSON程序规格说明和最终目标源代码的中间表示,改进了传统的JACKSON结构化程序设计方法。