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

Reverse Mapping from C++Logical Program to Conceptual Program for Abstract Logic Structure Diagram

作　　者：刘建宾[1] 

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

出　　处：《计算机工程与应用》2002年第2期73-75,共3页Computer Engineering and Applications

基　　金：国家863高技术研究发展计划项目(编号:863-306-ZT02-04-01);汕头大学"211"工程项目

摘　　要：文章给出C++过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C++逻辑结点之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理及其证明。In this paper,reverse-mapping rules from the logical program representation of C++Process Blueprint to the conceptual program representation of Abstract Logic Structure Diagram are presented.On the basis of definition of validity for bi-directional mapping functions between conceptual nodes and C++logical nodes,validity theorem of bi-directional mapping functions and it's prove process are also presented.

关 键 词：C++过程蓝图 抽象逻辑结构图 有效性 程序设计 逻辑程序 概念程序 逆向映射 

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