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 mod...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.