| 从概念程序表示到C++过程蓝图的映射 |
| |
| 引用本文： | 刘建宾,郝克刚.从概念程序表示到C++过程蓝图的映射[J].计算机工程与应用,2001,37(17):39-41. |
| |
| 作者姓名： | 刘建宾 郝克刚 |
| |
| 作者单位： | 1. 汕头大学工学院计算机系;西北大学计算机系
2. 西北大学计算机系 |
| |
| 基金项目： | 国家自然科学基金项目（编号：60073050），国家863项目（编号：863－306－2702－04－01），汕头大学“211”工程项目 |
| |
| 摘 要： | 文章给出了与程序实现语言无关的概念层抽象逻辑结构图程序表示到C＋＋过程蓝图的平滑过渡方法和映射规则，给出了概念层和逻辑层抽象逻辑结构图的有效性定义、导出C＋＋逻辑层抽象逻辑结构图的有效性定理及其证明。
|
| 关 键 词： | 抽象逻辑结构图 C++过程蓝图 有效性 |
| 文章编号： | 1002-8331-(2001)17-0039-03 |
| 修稿时间： | 2001年5月1日 |
Mapping from Conceptual Program Representation to C++ Process Blueprint |
| |
| Abstract: | ： In this paper，a smooth transition method and the mapping rules from Abstract Concept Structure Diagram independent of program implementing language to C＋＋ Process Blueprint are presented．The validity of program represented by Abstract Logic Structure Diagram at conceptual level and logical level is defined，and the validity theorem of the derived C＋＋ Abstract Logic Structure Diagram at logical level and the prove procedure are also presented． |
| |
| Keywords: | Abstract Logic Structure Diagram，C＋＋ Process Blueprint，Validity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
