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

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

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

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