| PAR is a new formal method of software development, which was proposed creatively by Professor Xue Jinyun under the support of 863 Hi-Tech Programme and National Natural Science Foundation of China. This approach plays an important role in overcoming efficiently software crisis.Automatic transformation system is an important component of the PAR approach. Its significance lies in: with the aid of the PAR method, the non-creative work separated from software development process will be developed by formal methods, which further greatly relieves the programmers' burden and improves the development efficiency of algorithms program. At the same time it improves the reliability of the program.At present, we have implemented many transformation systems, such as Apla to Java, Apla to C++, Apla to Delphi, Apla to C#. As .NET technology emerging, VB.NET has already become a completely object-oriented language with advantages of high efficiency and short development cycle, which makes software development more flexible and practical, so VB.NET is favored by most developers. Therefore it is necessary for us to design and implement Apla to VB.NET automatic program transformation system.The primary works we have done in this paper are listed as follows:1 Comparing the syntax distinction between Apla and VB.NET , finding out the relationship between two of them, in order to obtain the transformating rule in the system.2 Implementing transformations from Apia's abstract data types to VB.NET's reusable components library.3 Extending the existing self-defined reusable components library with operations on database.4 Developing the Apla to VB.NET auto program transformation system.5 Deriving a large number of Apla programs by PAR, then using them to test the transformation system.In the development of the system, some innovations have been made as follows: design and implementation of Apla to VB.NET auto program transformation system, support for the operations on database, implementation of... |
PDF Full Text Request