Multimedia Tools and Applications

, Volume 74, Issue 20, pp 8907–8920 | Cite as

Model transformation verification using similarity and graph comparison algorithm

  • Jong-Won KoEmail author
  • Kyung-Yong Chung
  • Jung-Soo Han


Regarding the software development, MDA (Model Driven Architecture) of OMG can be regarded as the concept of making an independently-designed model according to the development environment and language and reusing it according to the desired development environment and language by expanding the reusable unit into the software model when developing software. 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 verification based meta model for input and target model. And we also suggest how to perform model transformation verification using property matching based transformation similarity and graph comparison algorithm. This paper proposes model transformation verification using verification meta information and transformation similarity by property matching. In addition, in order to support verification of the target model generated from the source model, we define verification meta model for UML model, RDBMS model and RT-UML model. Recent researches from model-based architecture did partial tests focusing on phrase-correctness about the re-use in the perspective of converted software model. To overcome such limitations, this study suggests the ways to define transformation profiles using property information of system structure models as the test-based meta-model and transformation rules, improve graph comparison algorithm, and even supports the correctness of meanings. There were problems in existing methods of model transformation verification such as graph comparison or the one considering only syntax-correctness through pattern-matching. To remedy such problems, this study suggests a new verification method by defining the meta-model which has additional structural attributes and property information and the transformation profile, and using graph comparison algorithm which checks whether the information acquired from transformation is correct.


MDA Model transformation verification Graph comparison algorithm 


  1. 1.
    Cabot J, Clariso R, Guerra E, Lara JD (2009) Verification and validation of declarative model-to model transformation through invariants. Journal of Systems and Software, In PressGoogle Scholar
  2. 2.
    Chang IK, Kim JP, Hong JS, Lie CH (2010) Design of location areas with QoS considerations in a cellular network. Telecommunication Systems 44:333–345CrossRefGoogle Scholar
  3. 3.
    Chung KY (2011) Sensibility ergonomics fashion recommendation system using weather Webbot. Proc. of the International Conference on Information Science and Applications, IEEE Computer Society, 712–717Google Scholar
  4. 4.
    Chung KY, Yoo J, Kim KJ (2013) Recent trends on mobile computing and future networks. Personal and Ubiquitous Computing. doi: 10.1007/s00779-013-0682-y Google Scholar
  5. 5.
    Csertan G, Varro D (2007) Visual Automated Transformations for Formal Verification and Validation of UML Model, SAC’07Google Scholar
  6. 6.
    Czarnecki K, Helsen S (2003) Classification of model transformation approaches. In OOPSLA’03, Workshop on Generative Techniques in the Context of Model-Driven ArchitectureGoogle Scholar
  7. 7.
    Darabos A, Varro D (2006) Towards testing the implementation of graph trans-formation, GT-VMT’06Google Scholar
  8. 8.
    Hwang GU, Ishizaki F (2010) Packet level performance analysis of a packet scheduler exploiting multiuser diversity. Telecommunication Systems 45:249–258CrossRefGoogle Scholar
  9. 9.
    Jung YG, Han MS, Chung KY, Lee SJ (2011) A study of a valid frequency range using correlation analysis of throat signal. Information-An International Interdisciplinary Journal 14(11):3791–3799Google Scholar
  10. 10.
    Kang SK, Chung KY, Lee JH (2013) Development of head detection and tracking systems for visual surveillance. Personal and Ubiquitous Computing. doi: 10.1007/s00779-013-0668-9 Google Scholar
  11. 11.
    Kim GH, Kim YG, Chung KY (2013) Towards virtualized and automated software performance test architecture. Multimedia Tools and Applications. doi: 10.1007/s11042-013-1536-3 Google Scholar
  12. 12.
    Kim JH, Kim JK, Lee D, Chung KY (2012) Ontology driven interactive healthcare with wearable sensors. Multimedia Tools and Applications. doi: 10.1007/s11042-012-1195-9 Google Scholar
  13. 13.
    Ko JW, Han JS, Song YJ (2012) Pattern based model transformation using mapping patterns for model transformation verification. In: Proceedings of International Conference on IT Convergence and Security 2011. Lecture notes in electrical engineering, vol 120, pp 489–493Google Scholar
  14. 14.
    Lin YH, Gray JJ (2007) A model transformation approach to automated model transformation. Ph. D ThesisGoogle Scholar
  15. 15.
    Oh SY, Chung KY (2013) Target speech feature extraction using non-parametric correlation coefficient. Cluster Computing. doi: 10.1007/s10586-013-0284-5 Google Scholar
  16. 16.
    Park JH (2010) Subscriber authentication technology of AAA mechanism for mobile IPTV service offer. Telecommunication Systems 45:37–45CrossRefGoogle Scholar
  17. 17.
    Sendall S, Kozaczynski W (2003) Model transformation: The heart and soul of model-driven software development. IEEE Software 20(5):42–45CrossRefGoogle Scholar
  18. 18.
    Song CW, Chung KY, Jung JJ, Rim KW, Lee JH (2011) Localized approximation method using inertial compensation in WSNs. Information-An International Interdisciplinary Journal 14(11):3591–3600Google Scholar
  19. 19.
    Varro D (2002) Automatic transformation of UML models. Budapest University of Technology and EconomicsGoogle Scholar
  20. 20.
    Varro D (2003) Automated model transformation for the analysis of IT system. Ph. D ThesisGoogle Scholar
  21. 21.
    Varro D (2004) Towards formal verification of model transformations. Budapest University of Technology and EconomicsGoogle Scholar
  22. 22.
    Varro G, Schurr A (2005) Benchmarking for graph transformation, Proceedings of the 2005 I.E. Symposium on Visual Languages and Human-Centric ComputingGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  1. 1.Department of Computer EngineeringKyungHee UniversityGyeonggi-doKorea
  2. 2.School of Computer Information EngineeringSangji UniversityGangwon-doKorea
  3. 3.Division of Information & CommunicationBaekseok UniversityChungnam-doKorea

Personalised recommendations