VB过程蓝图到抽象逻辑结构图的逆向映射规则及其双向映射有效性

摘要：

本文给出VB过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则和双向映射规则的一种等价图形表示.在定义概念结点与逻辑结点之间双向映射的有效性概念基础上,进一步给出双向映射的有效性定理.本文的工作为VB逻辑程序编辑引起的概念程序一致性同步更新问题的解决奠定理论基础.

关键词：VB过程蓝图、抽象逻辑结构图、有效性、程序设计

所属期刊栏目：24

分类号：TP311.11(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划863-306-ZT02-04-01;国家"211"工程建设项目

在线出版日期：2003-11-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1264-1267