Model Optimization with Graph Transformation and PSO Algorithm for Model Transformation Verification

Verification 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 verification of the model to perform model optimization. Additional steps need to define more complex due to a software problem that is not the way to the model suitable for optimization. In this paper, as defined in the MDA-based model transformation studies of a graph based model transformation, also as redefined PSO algorithm for model optimization in source model and how to perform model transformation verification through graph comparison algorithm.

MDA:

Model driven architecture

AOSD:

Aspect oriented software development

M2MUnit:

Model to model unit

C-SAW:

Constraint-specification aspect weaver

Authors and Affiliations

1. Department of Computer Engineering, Kyung Hee University, Seocheon-dong, Giheung-gu, Yongin-si, Gyeonggi-do, 446-701, South Korea

   Jong-Won Ko, Su-Jin Beak & Young-Jae Song

Corresponding author

Correspondence to Jong-Won Ko .

Editors and Affiliations

1. , Convergence Security, Kyoung-gi University, Iui-dong San 94-6, Suwon, Gyeonggi-do, 443-760, Korea, Republic of (South Korea)

   Kuinam J. Kim

2. , Computer Science, Sungkyunkwan University, Cheonchoen-dong, Jangan-gu 300, Suwon, Gyeonggi-do, 110-745, Korea, Republic of (South Korea)

   Seong Jin Ahn

Reprints and permissions

© 2012 Springer Science+Business Media B.V.

Policies and ethics