A Study on Model Transformation Mechanism Using Graph Comparison Algorithm, Abstract Factory Pattern and Bridge Pattern

In order to easily port mobile applications suitable for each platform, that have been developed under diverse development environment for individual wireless communication service providers, or redevelop them on a specific platform, it is required to reuse them at software model level that is a software development paradigm for MDA (Model Driven Architecture). Verification of existing design models and test models for the study, mainly checking (Model Checking) with a code-based software designed to define in the abstract syntax tree or on the models generated using refactoring on design models for refinery operations and define how to perform. The problem with these traditional research methods, but the first model, design model for checking the information with the model by defining a formal representation in the form of an abstract syntax tree, as you've shown how to perform verification of the model to perform refactoring. Additional steps need to define more complex due to a software problem that is not the way to the model suitable for optimization refactoring. In this paper, as defined in the MDA-based model transformation studies of a reusable model transformation patterns, abstract factory pattern and the bridge pattern given the pattern information automatically through the software model offers a way to perform refactoring..

[1]  Dániel Varró,et al.  Automated model transformations for the analysis of IT systems , 2003 .

[2]  Maria-Eugenia Iacob,et al.  Reusable Model Transformation Patterns , 2008, 2008 12th Enterprise Distributed Object Computing Conference Workshops.

[3]  Jun Kong,et al.  Design Pattern Evolution and Verification Using Graph Transformation , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[4]  Dániel Varró,et al.  VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[5]  Dániel Varró,et al.  Towards Testing the Implementation of Graph Transformations , 2008, Electron. Notes Theor. Comput. Sci..

[6]  Doris L. Carver,et al.  Pattern-based model transformation: a metamodel-based approach to model evolution , 2004 .

[7]  H. Sahraoui,et al.  Model Transformation as an Optimization Problem , 2008, MoDELS.

[8]  Sheena R. Judson Pattern-based model transformation , 2003, OOPSLA '03.