| 抽象逻辑结构图到VFP过程蓝图的过渡与映射 |
| |
| 引用本文： | 刘建宾,郝克刚. 抽象逻辑结构图到VFP过程蓝图的过渡与映射[J]. 计算机应用研究, 2001, 18(11): 19-21 |
| |
| 作者姓名： | 刘建宾 郝克刚 |
| |
| 作者单位： | 1. 汕头大学工学院计算机系，广东汕头515063;西北大学计算机系，陕西西安710069
2. 西北大学计算机系，陕西西安710069 |
| |
| 基金项目： | 国家“863”计划资助项目，国家自然科学基金资助项目，汕头大学“2 11”工程项目 |
| |
| 摘 要： | 给出独立于程序实现语言的抽象逻辑结构图到VFP过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则；给出了抽象逻辑结构图程序表示的有效性定义、导出VFP抽象逻辑结构图的有效性定理及其证明。
|
| 关 键 词： | 抽象逻辑结构图 VFP 过程蓝图 程序设计 有效性 平滑过渡 数据库 |
| 文章编号： | 1001-3695(2001)11-0019-03 |
| 修稿时间： | 2001-03-26 |
Transition and Mapping from Abstract Logic Structure Diagram to VFP Process Blueprint |
| |
| LIU Jian bin ,,HAO Ke gang. Transition and Mapping from Abstract Logic Structure Diagram to VFP Process Blueprint[J]. Application Research of Computers, 2001, 18(11): 19-21 |
| |
| Authors: | LIU Jian bin HAO Ke gang |
| |
| Affiliation: | LIU Jian bin 1,2,HAO Ke gang 2 |
| |
| Abstract: | In this paper, a smooth transition method from Abstract Concept Structure Diagram independent of program implementing language to VFP Process Blueprint and the mapping rules from the concept nodes to the logic nodes are presented. The validity of program representation by Abstract Logic Structure Diagram is defined, and the validity theorem of the derived VFP Abstract Logic Structure Diagram at logical level and the prove procedure are also presented. |
| |
| Keywords: | Abstract Logic Structure Diagram VFP Process Blueprint Programming Validity Smooth Transition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
