Design of MDA Based Model Transformation Profile for Model Verification


Article Preview

Validation of existing software design models and transformed target 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 validation of UML design model. Additional steps need to define more complex due to a software problem that is not the way to the model suitable for model transformation verification. In this paper, as defined in the MDA based model transformation studies of a graph based mode transformation, and how to perform model transformation verification through improving graph comparison algorithm and model property information.



Edited by:

Jing Guo




J. W. Ko, "Design of MDA Based Model Transformation Profile for Model Verification", Applied Mechanics and Materials, Vol. 224, pp. 69-72, 2012

Online since:

November 2012





[1] YueHua, Lin, Jeff Gray A Model Transformation Approach to Automated Model Transformation, Ph. D Thesis, (2007).

[2] Daniel Varro Automated Model Transformation for the Analysis of IT System, , Ph. D Thesis, (2003).

[3] Andrea Darabos, Daniel Varro Towards Testing the Implementation of Graph Transformation", GT-VMT, 06, (2006).

[4] Gyorgy Csertan, Daniel Varro Visual Automated Transformations for Formal Verification and Validation of UML Model, SAC, 07, (2007).

[5] Krzysztof Czanecki, Simon Helsen, Classification of Model Transformation Approaches. " In OOPSLA, 03, Workshop on Generative Techniques in the Context of Model-Driven Architecture. (2003).

[6] Jordi Cabot, Robert Clariso, Esther Guerra, Juan de Lara, Verification and Validation of Declarative Model-to Model Transformation Through Invariants, Journal of Systems and Software, In Press, (2009).


[7] Ghunying Zhao, Jun Kong, Kang Zhang. Design Pattern Evolution and Verification Using Graph Transformation, Proceedings of the 40th Hawaii International Conference on System Sciences, (2007).