摘要
给出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.
出处
《计算机工程与设计》
CSCD
2002年第3期1-4,7,共5页
Computer Engineering and Design
基金
国家863高科技项目(863-306-ZT02-04-01)
汕头大学"211"工程项目
