Model Transformation Based On Semantic Consistency And Method Applications

With the rapid developments of Internet and Intranet/Extranet, Web applications have been applied in many fields. Because of that, more and more difficulties of the Web developments are induced by the constant productivity improvements and high quality requirements of Web applications' developments. How to develop Web applications rapidly and effectively have become the key field in IT industry.The organization OMG had been providing and advocating the MDA (Model Driven Architecture) project. The project has the business logic isolated from specific platforms by visual modeling and constructs the platform independent models (PIM).According the PIMs and model mapping rules, the platform specific models (PSM), which contain information of specific platforms, are generated. Then the code generator base on PSMs produces the executive codes about specific platforms. The software developments based on MDA provide many advantages on many fields, such as abstract level of development, efficiency, models reusing, software portability, code consistency and software maintains. Otherwise, current model transformation methods based on MDA depend on the syntax constructions of source and target models. In another word, the methods' implements require high model construction similarity between source and target models. At practical model transformations, it is difficult to build the transformation relationships from source models to target models because of low similarities between them induced by the different factors of source and target models, such as modeling languages, modeling viewpoints and model builder.In this thesis, a new method called "Model transformation based on semantic consistency" is proposed to solve the above problems after analyzing the semantic requirements in model transformation deeply and applied in the developments and researches of realistic automatic tool of code generation. The details as follows: First, by analyzing the backgrounds and related researches of this study, the thesis summarizes and generalizes the model semantics, model similarities and semantic consistency requirements, then propose the important concepts such as semantic consistency and model transformation based on semantic consistency. At the basis of that, the thesis proposes the new method called "Model transformation based on semantic consistency".Second, the method of model transformation based on semantic consistency is briefly introduced by two levels: macroscopic semantic consistency and meta-level semantic consistency. The macroscopic transformation relationships can be built according to target semantic models because of target semantic models considered the bridges from source models to target models. At the same time, restructuring concepts of formalisms based on analyzing the framework of MDA model transformation to implement the transformation from Platform Independent Models to Platform Specific Models supporting by the mechanism of formalisms extensions and building the meta-level model transformation.Third, based on theses description, the method of model transformation based on semantic consistency is illustrated by the transformation from specific source models (FMP Models) to specific target models (JavaServer Faces Models) in theory. After that, the AUI JavaServer Faces code generator based on this method is designed and implemented. The feasibilities of the method are verified in practice. In addition, this thesis summarizes the on-going research in this area and points out the work needed to be done in the future.The method of model transformation based on semantic consistency improves level of the model transformation, from pure syntax guidance to combination of syntax and semantic guidance. The transformation relationships are built based on semantic constraints that provide the guidance of semantic level. Theses researches will promote the developments of model transformation methods and automatic code generation and have the important theoretical and practical meanings.