Model transformation verification using similarity and graph comparison algorithm

2013 ◽  
Vol 74 (20) ◽  
pp. 8907-8920 ◽  
Author(s):  
Jong-Won Ko ◽  
Kyung-Yong Chung ◽  
Jung-Soo Han
Keyword(s):  
Model Transformation ◽  
Graph Comparison ◽  
Model Transformation Verification

Design of MDA Based Model Transformation Profile for Model Verification

2012 ◽  
Vol 224 ◽  
pp. 69-72
Author(s):  
Jong Won Ko
Keyword(s):  
Model Transformation ◽  
Model Verification ◽  
Design Model ◽  
Abstract Syntax ◽  
Formal Representation ◽  
Design Models ◽  
Abstract Syntax Tree ◽  
Syntax Tree ◽  
Traditional Research ◽  
Model Transformation Verification

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.

scholarly journals A framework for model transformation verification

2014 ◽  
Vol 27 (1) ◽  
pp. 193-235 ◽  
Author(s):  
Kevin Lano ◽  
T. Clark ◽  
S. Kolahdouz-Rahimi
Keyword(s):  
Model Transformation ◽  
Model Transformation Verification

A Methodology of Model Transformation in MDA: from CIM to PIM

2015 ◽  
Vol 10 (12) ◽  
pp. 1186 ◽  
Author(s):  
Yassine Rhazali ◽  
Y. Hadi ◽  
A. Mouloudi
Keyword(s):  
Model Transformation
Sign in / Sign up

Export Citation Format

Share Document