摘要
Abstract Concept Structure Diagram,an Abstract diagrammatized representation for program process logic ,is a concept algorithm description tool independent of program implementing language. In this paper ,a formal model of Abstract Concept Structure Diagram,its graphical notations,and a smooth transition method from Abstract Concept Structure Diagram to JAVA Process Blueprint and mapping rules are presented. The validation and consistency of concept program and logical program is defined,and related theorems and prove procedures are also presented.
Abstract Concept Structure Diagram,an abstract diagrammatized representation for program process logic,is a concept algorithm description tool independent of program implementing language. In this paper,a formal model of Abstract Concept Structure Diagram,its graphical notations,and a smooth transition method from Abstract Concept Structure Diagram to JAVA Process Blueprint and mapping rules are presented. The validation and consistency of concept program and logical program is defined, and related theorems and prove procedures are also presented.
出处
《计算机科学》
CSCD
北大核心
2001年第8期89-93,104,共6页
Computer Science
基金
国家863项目
汕头大学计算机科学与技术"211"工程项目
关键词
抽象概念结构图
JAVA
软件工程学
软件开发
Abstract concept structure diagram
JAVA process blueprint
Programming
Validation
Consistency
Smooth transition
