抽象逻辑结构图导出PASCAL过程蓝图的方法  

A derivation approach from abstract logic structure diagram to PASCAL process blueprint

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

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

出　　处：《计算机工程与设计》2001年第3期24-27,共4页Computer Engineering and Design

基　　金：国家863项目(863-306-ZT02-04-01);国家自然科学基金项目(60073050)

摘　　要：概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡＬ抽象逻辑结构图的有效性定理及其证明。Abstract Logic Structure Diagram at conceptual level is a concept algorithm description tool independent of program implementing language. In this paper, a smooth transition method from Abstract Concept Structure Diagram to PASCAL 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 PASCAL Abstract Logic Structure Diagram at logical level and the prove Procedure are also presented.

关 键 词：抽象逻辑结构图 PASCAL语言 程序设计 有效性 平滑过渡 

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