Implementation Of Composed Data Type In Apla Through Delphi

Professor Xue Jinyun, under The State 863 projects and The National Natural Science Foundation of China, creatively proposed one formalization method of exploitation-PAR method. Describing and validating software with mathematics and the logical method, the PAR method description's procedure passes through the strict proof; therefore software has guaranteed the accuracy and the reliability. The PAR method and the PAR automatic switching system realize automatic switching from the algorithm terms to the abstract program and from the abstract program to the executive program, so we realized automation in the software development on the part.Apla is an abstract algorithm description language, which has many characteristics like as highly abstract and power of expression. The Apla language takes composed data type, tree, graph, set, sequence, as the pre-definition type, and includes the obvious grammar mechanism to support the generic programming and user-define ADT type. On the contrary, Object Pascal language cannot use the tree, the graph, the set, the sequence and so on directly. How successfully support Apla these mechanisms in Delphi is the key point which we must study, Apla--The Delphi automatic program conversion system's goal is that all correct Apla program can obtain the correct Delphi program through the switch system, and can obtain the correct result. This switch's source language is Apla; the target language is Object Pascal which the Delphi compiler uses.The research of this article is important component in the PAR method. It is important component in the State Natural Sciences Foundation《,the practical software formalization method and the development kit research》. The target of the research is implementation of composed data type in Alpa through Delphi correctly, for further consummation automatic switch system.In view of the above research aim, we have mainly carried on the following work:Analyzed several typical formal develop methods and chose the PAR method as this project's theory basis.Researched the transforming rule of transforming Alpa's generic programs to it's equivalent Delphi programs.Developed the Apla-Delphi switch system to transform the Apla's abstract data type to Delphi library.Consummateed the Apla-Delphi automatic program conversion system.Later work we will consummate Apla--Delphi automatic program conversion system's transformation mechanism; Enhance Apla-Delphi the automatic program conversion system's reliability; Increase the Apla transformation example, commercialize the product. We hope the product may go a step further production and apply in the actual software development and promote the software industry fast development.