从概念程序表示到C++过程蓝图的映射  

Mapping from Conceptual Program Representation to C＋＋ Process Blueprint

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

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

出　　处：《计算机工程与应用》2001年第17期39-41,共3页Computer Engineering and Applications

基　　金：国家自然科学基金项目(编号:60073050);国家863项目(编号:863-306-2702-04-01);汕头大学"211"工程项目

摘　　要：文章给出了与程序实现语言无关的概念层抽象逻辑结构图程序表示到C＋＋过程蓝图的平滑过渡方法和映射规则，给出了概念层和逻辑层抽象逻辑结构图的有效性定义、导出C＋＋逻辑层抽象逻辑结构图的有效性定理及其证明。： 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．

关 键 词：抽象逻辑结构图 C++ 过程蓝图 软件开发 概念程序 

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