Font Size: a A A

Research On The Implementation Of Several New Software Technologies In Apla?Java Program Automatical Generation System

Posted on:2017-09-13Degree:MasterType:Thesis
Country:ChinaCandidate:X Z ZhuFull Text:PDF
GTID:2348330485477093Subject:Software engineering
Abstract/Summary:PDF Full Text Request
The big data, cloud computing, cloud services, trusted software and model-driven software engineering(MDE) and other new technologies and new concepts has become a common concern research focus in the field of computer and information currently. In this paper, Professor Xue Jinyun supported mainly the research on the National Natural Science Foundation of major international cooperation project "research on the implementation of several new software technologies in PAR platform" ?Foundation of "research on highly reliable software modeling language and model automatic conversion method",which these research targets are a hot issue. It is precisely these two national research projects need to be designed to achieve the main development platform for these new concepts and new technologies that Apla?Java automatically generate conversion system above the par platform. The focus of this paper and the main content is: in MDA model driven architecture, integrate several new technologies(exception handling, transaction processing, multimedia related) into the original Apla?Java automatically generate conversion system above the original par platform.Firstly, we careful analysis of the principles and features of the transaction, exception handling and processing of multimedia data, and the latest Java application development platform and support tool, proposed transaction processing and exception handling mechanism integrated into original Apla modeling language, and constructed from Apla transaction processing and exception handling model to the Java automatic program conversion system with them. Based on the conversion system, we can automatically generate a local transaction processing and distributed transaction processing Java programs, and use two examples to verify. This article also based on multimedia large data characteristics, explored the possibility of a simple way in the original text database processing of Apla used in multimedia database processing, was a complete success, then put forward multimedia database operations language mechanism fully integrated the original text data to construct the corresponding multimedia operations component library, the text database processing mechanism based on relational algebra have realized multimedia database processing model to Java automatic program conversion system of multimedia database processing. Finally, we take multiple instances to have verified the validity and reliability of the conversion system.The main innovation of this paper and its design difficulties:(1) The article proposed transaction processing and exception handling mechanism naturally integrated into database processing mechanism of Apla language, and constructed to convert transaction processing abstraction program in natural combination to the corresponding Java application system, it makes we can use the modeling language Apla to easily build very complex local and distributed transaction processing applications, and builds to facilitate the formal derivation and proof. The conversion system can convert the proven transaction processing program into a corresponding Java program, is greatly improving the reliability and efficiency of development of transaction processing. It's the first time we can see this achievement in the international and domestic. World-renowned scientist Professor Misra hope Orc modeling language to implement transaction processing mechanism at Texas University in America, but it has not yet been successful.(2) It proposes abstract multimedia database operations language mechanism naturally integrated into the text database processing mechanism based on relational algebra,And constructed to convert the natural combination language program to the corresponding Java program method and system,it makes we can use the modeling language Apla to easily build very complex multimedia database applications program, and builds to facilitate the formal derivation and proof.Finally,it can automatic convert the proven abstract multimedia applications program into a specific multimedia processing program,It is no reported by any conference or magazine with the function & method.
Keywords/Search Tags:PAR, Model-driven, multimedia, local transaction, DTP
PDF Full Text Request
Related items