基于UML的静态类图和ALSD实现建模与编码的统一的方法

统一建模语言UML(Unify Modeling Language)是面向对象软件建模的国际标准,但是UML中缺乏对过程的可视化静态建模部分。抽象逻辑结构图ALSD(Abstract Logical Structure Diagrams)是过程建模的有效表示工具。本文以程序代码的生成为目标,以UML的静态类图和ALSD为基础,结合UML的静态类图与ALSD,探讨了有关的代码生成机制,设计和实现了一个软件开发环境。它填补了类图中方法的可视化描述,实现建模和编码的有机统一,使整个程序的设计完全可视化。

知识结构图在《医用生物数学》教学中的应用与实践

《医用生物数学》是生命科学领域相关本科专业的重要课程之一。《医用生物数学》具有很强的系统性、高度的抽象性和严密的逻辑性。知识结构图是表达和揭示知识体系中内部关联性的图表。采用知识结构图式的教学方法,把医用生物数学的知识点之间的关系进行直观和有机地展现出来,从而使学习路径更加清晰,有助于学生更好地理解抽象的概念,理清知识点之间的复杂关系,达到提高教学效果的目的。

PASCAL过程蓝图

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

VFP过程蓝图设计技术

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

一个结构良好的规格说明工具：抽象逻辑结构图

提出一种新的图形化规格说明工具一抽象逻辑结构图ＡＬＳＤ，给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式，它可以用于加工逻辑、数据结构、判定树等的描述与表示。

抽象逻辑结构图及其应用

图形化技术作为人们清晰思维的语言和良好的通讯交流工具,在软件开发中一直发挥着重要作用,是软件表现技术的重要形式之一.迄今为止。

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

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

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

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

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

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

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

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

Java过程蓝图

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

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

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

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

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

VB过程蓝图

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

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

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

一个JAVA可视化面向对象程序设计支撑系统的设计

1引言 由Grady Booch James Rumbaugh和Ivar Jacobson共同创建的一种可视化说明、建造软件系统的工业标准语言——统一建模语言UML(Unify Modeling Language)[1,2]是面向对象软件建模的国际标准,具有直观自然,表现力强的特点.对过程建模,尽管UML提供了活动图和顺序图,但它们均属动态模型,UML缺乏对过程的静态建模方法,所以UML的静态建模机制并不完善.UML活动图从动态观点来建立过程模型,而最终程序代码是静态的,因而活动图过程模型与代码两者的结构是不一致的.

JACKSON结构图到抽象逻辑结构图的转换

本文在ＪＡＣＫＳＯＮ结构图和抽象逻辑结构图的形式化定义基础上，给出了ＪＡＣＫＳＯＮ结构图到抽象逻辑结构图的自动化和图形化转换方法。

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

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

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

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