Research On The Method Of Implementation Of Generic Mechanism In Apla-Java Program Generation System

It is well known that the main characteristic of the software crisis is that software development is difficult, production efficiency is low, the correctness and reliability are not been guaranteed, while the generic language mechanism and generic programming in high-level programming language are also known as parametric programming, which is effective way to improve the software reliability and production efficiency. So the modern advanced programming languages, such as Java, C++, C# and Ada, have generic language mechanisms. Unfortunately, the types of generic mechanisms in the high-level programming languages are very few and generally have only a type as a parameter. A small number of languages also have subroutine parameters. This is due to the complexity of the implementation of generic language mechanisms in advanced programming languages. In recent years, at home and abroad, the software industry is the effective way to implement generic mechanism in the advanced programming language as a research object. In this paper, the tutor of the author, Jinyun Xue, presides over a number of National Natural Science Fund projects to put forward and effectively to achieve more new generic language mechanism as a research target. In 2015, Jinyun Xue put forward a new type of security generic mechanism for the type of(type), action(action), and abstract data type(ADT) parameters on the ICFEM2015 International Conference held in Paris, France. The research goal of this thesis is to effectively implement the new secure generic programming mechanism in the Apla-Java program generation system.Firstly, new generic language mechanism which urgently needs to be implemented in the Apla-Java program generation system was systematically studied, simplified the automatic conversion method of the Apla multiple assignment statement to the Java programming language, effectively realized abstract data type language mechanism, then introduced three secure generic languages mechanism in modeling language Apla and proposed a new method for the realization of the generic language mechanism in the Apla-Java program automatic generation system, and used a variety of typical generic algorithm examples to verify correctness of this method and validity of these generic mechanisms.The main innovations of this paper are as follows:1.Based on technology framework of Model Driven Software Engineering(MDE), extended and implemented the abstract data type(ADT) mechanism in the modeling language Apla and three generic language mechanisms(type, action, and ADT) and their security mechanisms(region), simplified the conversion algorithm from generic multiple assignment statement to the corresponding Java program, and made the final generated Java program had the function of generic program completely, which has not been found in the domestic and foreign similar methods and results;2.Three new generic language mechanisms, first achieved in Apla language, made Java program that was obtained through the model transformation had the function of the generic program, eliminated the complexity led by the direct addition of generic language mechanisms in the Java language, the effect is very significant. The algorithm should be the first;3.The preliminary implementation of the region security generic language mechanism significantly improved the security of the Java program, the proposed and implementation of the region concept is also the first in this paper.