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 have 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 mapping patterns.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Lin Y, Gray J (2007) A model transformation approach to automated model transformation, Ph.D thesis
Varro D (2003) Automated model transformation for the analysis of IT system, Ph.D thesis
Darabos A, Varro D (2006) Towards testing the implementation of graph transformation, GT-VMT’06
Csertan G, Varro D (2007) Visual automated transformations for formal verification and validation of UML Model, SAC’07
Czanecki K, Helsen S (2003) Classification of Model transformation approaches. In: OOPSLA’03 workshop on generative techniques in the context of model-driven architecture
Cabot J, Clariso R, Guerra E, de Lara J (2009) Verification and validation of declarative model-to model transformation through invariants. J Syst Softw (in press)
Zhao G, Kong J, Zhang K (2007) Design pattern evolution and verification using graph transformation. In: Proceedings of the 40th Hawaii international conference on system sciences
Varro G, Schurr A (2005) Benchmarking for graph transformation. In: Proceedings of the 2005 IEEE symposium on visual languages and human-centric computing
Varro D (2002) Automatic transformation of UML models, Budapest University of Technology and Enconomics
Varro D (2004) Towards formal verification of model transformations, Budapest University of Technology and Enconomics
Acknowledgments
This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No.: 2012-0003084).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht
About this paper
Cite this paper
Ko, JW., Baek, SJ., Han, JS. (2013). Model Transformation Verification Using Mapping Pattern and Model Transformation Similarity. In: Kim, K., Chung, KY. (eds) IT Convergence and Security 2012. Lecture Notes in Electrical Engineering, vol 215. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-5860-5_140
Download citation
DOI: https://doi.org/10.1007/978-94-007-5860-5_140
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-5859-9
Online ISBN: 978-94-007-5860-5
eBook Packages: EngineeringEngineering (R0)