Skip to main content
SpringerLink
Log in

Model transformation verification using similarity and graph comparison algorithm

  • Published:
Multimedia Tools and Applications Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  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 Press

  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–345

    Article  Google Scholar 

  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–717

  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. Csertan G, Varro D (2007) Visual Automated Transformations for Formal Verification and Validation of UML Model, SAC’07

  6. Czarnecki K, Helsen S (2003) Classification of model transformation approaches. In OOPSLA’03, Workshop on Generative Techniques in the Context of Model-Driven Architecture

  7. Darabos A, Varro D (2006) Towards testing the implementation of graph trans-formation, GT-VMT’06

  8. Hwang GU, Ishizaki F (2010) Packet level performance analysis of a packet scheduler exploiting multiuser diversity. Telecommunication Systems 45:249–258

    Article  Google Scholar 

  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–3799

    Google Scholar 

  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. 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. 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. 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–493

  14. Lin YH, Gray JJ (2007) A model transformation approach to automated model transformation. Ph. D Thesis

  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. Park JH (2010) Subscriber authentication technology of AAA mechanism for mobile IPTV service offer. Telecommunication Systems 45:37–45

    Article  Google Scholar 

  17. Sendall S, Kozaczynski W (2003) Model transformation: The heart and soul of model-driven software development. IEEE Software 20(5):42–45

    Article  Google Scholar 

  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–3600

    Google Scholar 

  19. Varro D (2002) Automatic transformation of UML models. Budapest University of Technology and Economics

  20. Varro D (2003) Automated model transformation for the analysis of IT system. Ph. D Thesis

  21. Varro D (2004) Towards formal verification of model transformations. Budapest University of Technology and Economics

  22. Varro G, Schurr A (2005) Benchmarking for graph transformation, Proceedings of the 2005 I.E. Symposium on Visual Languages and Human-Centric Computing

Download references

Author information

Authors and Affiliations

  1. Department of Computer Engineering, KyungHee University, 1732 Deokyoungdae-ro, Giheung-gu, Yongin-si, Gyeonggi-do, 446-701, Korea

    Jong-Won Ko

  2. School of Computer Information Engineering, Sangji University, Usan-dong, Wonju-si, Gangwon-do, 220-702, Korea

    Kyung-Yong Chung

  3. Division of Information & Communication, Baekseok University, 115 Anseo-dong, Cheonan-si, Chungnam-do, 330-704, Korea

    Jung-Soo Han

Authors
  1. Jong-Won Ko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kyung-Yong Chung
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jung-Soo Han
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jong-Won Ko.

Additional information

This paper is significantly revised from an earlier version presented at the International Conference IT Convergence and Security.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ko, JW., Chung, KY. & Han, JS. Model transformation verification using similarity and graph comparison algorithm. Multimed Tools Appl 74, 8907–8920 (2015). https://doi.org/10.1007/s11042-013-1581-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11042-013-1581-y

Keywords

Search

Navigation