| PASCAL过程蓝图到抽象逻辑结构图的逆向映射 |
| |
| 引用本文： | 刘建宾,李小英.PASCAL过程蓝图到抽象逻辑结构图的逆向映射[J].计算机工程与设计,2002,23(3):1-4. |
| |
| 作者姓名： | 刘建宾 李小英 |
| |
| 作者单位： | 1. 汕头大学工学院计算机系,汕头,515063;西北大学计算机系,西安,710069
2. 汕头大学工学院计算机系,汕头,515063 |
| |
| 基金项目： | 国家863高科技项目（863－306－ZT02－04－01），汕头大学“211”工程项目 |
| |
| 摘 要： | 给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概念基础上，进一步给出双向映射函数的有效性定理。
|
| 关 键 词： | PASCAL过程蓝图 抽象逻辑结构图 有效性 程序设计 |
| 文章编号： | 1000-7024(2002)03-0001-04 |
| 修稿时间： | 2001年10月10 |
Reverse mapping from PASCAL process blueprint to abstract logic structure diagram |
| |
| LIU Jian-bin,LI Xiao-ying.Reverse mapping from PASCAL process blueprint to abstract logic structure diagram[J].Computer Engineering and Design,2002,23(3):1-4. |
| |
| Authors: | LIU Jian-bin LI Xiao-ying |
| |
| Abstract: | 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. |
| |
| Keywords: | PASCAL process blueprint abstract logic structure diagram validity programming |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
