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

Reverse mapping from PASCAL process blueprint to abstract logic structure diagram

作　　者：刘建宾[1] 李小英[1] 

机构地区：[1]汕头大学工学院计算机系

出　　处：《计算机工程与设计》2002年第3期1-4,7,共5页Computer Engineering and Design

基　　金：国家863高科技项目(863-306-ZT02-04-01); 汕头大学"211"工程项目

摘　　要：给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有效性定理。In this paper,reverse mapping rules from logical nodes of PASCAL Process Blueprint to conceptual nodes of Abstract Logic Structure Diagram are presented,and relation and characteristics between two sets of forward and backward mapping rules are opened out by means of constructing bi-directional mapping relation graph which is the equivalence of them. On the basis of definition of validity for bi-directional mapping functions between program representations at conceptual level and at PASCAL lo-gical level of Abstract Logic Structure Diagram,validity theorem of bi-directional mapping functions are further presented.

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

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论] TP312PA[自动化与计算机技术—计算机科学与技术]