| 抽象逻辑结构图到VB过程蓝图的导出与映射 |
| |
| 引用本文： | 刘建宾,郝克刚. 抽象逻辑结构图到VB过程蓝图的导出与映射[J]. 小型微型计算机系统, 2002, 23(7): 862-864 |
| |
| 作者姓名： | 刘建宾 郝克刚 |
| |
| 作者单位： | 1. 西北大学,计算机系,陕西,西安,710069；汕头大学工学院,计算机系,广东,汕头,515063
2. 汕头大学工学院,计算机系,广东,汕头,515063 |
| |
| 基金项目： | 国家自然科学基金项目资助，汕头大学“2 11”工程项目资助 |
| |
| 摘 要： | 本文给出独立于程序实现言的抽象逻辑结构图到VB过程蓝图的平滑过渡方法概念结点逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出VB抽象逻辑结构图的有效性定理及其证明
|
| 关 键 词： | 抽象逻辑结构图 VB过程蓝图 程序设计 有效性 VB语言 |
| 文章编号： | 1000-1220(2002)07-0862-03 |
Transition and Mapping from Abstract Logic Structure Diagram to VB Process Blueprint |
| |
| LIU Jian bin ,,HAO Ke gang. Transition and Mapping from Abstract Logic Structure Diagram to VB Process Blueprint[J]. Mini-micro Systems, 2002, 23(7): 862-864 |
| |
| Authors: | LIU Jian bin HAO Ke gang |
| |
| Affiliation: | LIU Jian bin 1,2,HAO Ke gang 2 1 |
| |
| Abstract: | 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. |
| |
| Keywords: | abstract logic structure diagram VB process blueprint programming validity smooth transition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
