The Implement Of New Generic Mechanism In Theapia—Java Algorithm Program Generation System

With the era of Cloud Computing and Big Data coming, the users’ requirement on diversity is higher and higher. However, the existing software development methods have low efficient, lack of accuracy and reliability of the algorithm design, which makes it difficult for software development. So software development efficiency and high reliability have been the focus in modern software engineering. The formalization and automation software have the characteristics of developing highly reliable procedures and improving development efficiency, which provide an effective solution to these problems.PAR approach is a unified and practical approach for formal development and proving algorithm programs, which proposed by Professor Jin-yun Xue. Radl is defined for describing the algorithm specifications and abstraction algorithms, and Apla is defined for describing the abstract programs. Based on the PAR approach and the development of the PAR platform is an automatic program generating system, is the auxiliary tool for PAR approach to research the abstract algorithm program and development of advanced language. Apla language defines a number of mechanisms to support generic programming, because the generic programming can greatly improve the reusability, reliability and development efficiency, high abstract generic mechanism helps to reduce the complexity of generic programming.This research selects the model Java8.0 as the program transformation of the target language, on the basis of previous studies to expand generic programming, research and implementation of new Java8.0 support for generic programming on the Apla-Java automatic program generating system. Generating system of the source language Apla is highly abstract, expression ability, and contains support for syntax mechanism of generic programming, while the early development of Apla-Java generating system of target language Java belongs to the Java5.0 previous version, which did not support generic mechanism. With the development of nowadays Java to Java8.0, Java language has a mature generic mechanism, therefore, enhanced Java generic programming has become the research emphasis of this subject.Introducing the new Java generic mechanism for Apla-Java generating system, bring great research significance and practical value for the development of PAR platform. The paper summarizes the main research contents and practical values are:(1) Based on the research of Apla generic programming and new Java generic programming, this paper proposed an automatic generation rules that Apla generic source programs corresponding to the Java generic target programs, and to achieve the two languages mechanisms equivalence conversion in Apla-Java algorithm automatically generates the system. Finally, a large number of generic use cases test to verify the correctness of the system design.(2) The introduction of new Java generics mechanism in Apla-Java generation system, which improve the functional equivalence conversion between the source and the target programs, and the target program structure clear, strong versatility.(3) PAR approach supports the high abstract generic algorithm programming to ensure that the software development code quality and reliability, improving the reusability and efficiency of software development.