Development Of APLA To C++ Automatic Program Transformation System

Software crisis is the main factor of software industry's slow-development. It has the following forms:(l)The quality of software products are very bad;(2)Software products are very hard to maintan;(3)The cost of software products keeps increasing;(4)The productivity of software products can't keep up with the development of hardware and people's increasing requirements. The PAR method is a simple and effective method to resolve the software crisis problem and improve software's quality and productivity. This paper's research work is an important component of the PAR method and a sub research'project of the Nation's Natural Science Fund Project "The Research of Applied Formal Develop Methods and Their Tools". This research's goal is to develop an auto program transforming system to transform an apla program to a C++ program.Aiming at above targets,we have done following research works:1. Researched the main factor of blocking the development of software products. Analysised several typical formal develop methods and choosed the PAR method as this project's theory basis.2. Developed some typical algorithm programs. Lots of sample show the PAR method is indeed a simple and effective formal develop method.3. Compared apla language's grammar with C++ language's grammar and researched the transforming rule.4. Researched the transforming rule of transforming apla's generic programs to it's equivalent C++-programs.5. Developed the core translator to transform the apla's abstract datatype to C++'s class library.6. Developed the apla to C++ auto program transforming system.7. Using lost of Apia programs to test this system.This auto program transforming system has 11,000 and more codes and we have used lots of strictly-proved apla programs to test it. The Apia language has fully absorbed the modern programming technique of data abstraction and function abstraction. It used many traditional mathematical symbols and fitted the mathematical custom,so the correctness of the programs which were written by Apia language are very easy to prove. The core translator's reliability has been strictly tested. So the correctness of the C++ programs which were generated by this system from apla programs can be guaranteed. As we can see,this system as a powerful auto software develop tool,can be applied to the real software development procedure,it can improve software product's reliability and productivity and boost the development of software industry.