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

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

作　　者：刘建宾[1] 郝克刚[2] 

机构地区：[1]西北大学计算机系,陕西西安710069 [2]汕头大学工学院计算机系,广东汕头515063

出　　处：《小型微型计算机系统》2002年第7期862-864,共3页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目资助 ;汕头大学"2 11"工程项目资助

摘　　要：本文给出独立于程序实现语言的抽象逻辑结构图到 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.

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

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