抽象逻辑结构图到VB过程蓝图的导出与映射

Transition and Mapping from Abstract Logic Structure Diagram to VB Process Blueprint

本文给出独立于程序实现语言的抽象逻辑结构图到 VB过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则 ,给出了抽象逻辑结构图程序表示的有效性定义、导出 VB抽象逻辑结构图的有效性定理及其证明 .

In this paper, a smooth transition method from Abstract Concept Structure Diagram independent of program implementing language to VB Process Blueprint and the mapping rules from the concept nodes to the logic nodes are presented. The validity of program represented by Abstract Logic Structure Diagram is defined, and the validity theorem of the derived VB Abstract Logic Structure Diagram at logical level and the prove procedure are also presented.