Abstract
In order to easily port mobile applications suitable for each platform, that have been developed under diverse development environment for individual wireless communication service providers, or redevelop them on a specific platform, it is required to reuse them at software model level that is a software development paradigm for Model Driven Architecture (MDA). Verification of existing design models and test 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. 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 pattern-based model transformation studies of a reusable mapping patterns, given the pattern information automatically through the software model offers a way to perform model transformation verification.
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. : 2011-0003950).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Abbreviations
- QVT:
-
Query/View/Transformation
- C-SAW:
-
Constrain-Specification Aspect Weaver
References
Miller SJ (2004) Pattern-based model transformation: a metamodel-based approach to model evolution. Ph.D Thesis
Iacob M-E, Steen MWA, Heerink L (2008) Reusable model transformation patterns
Kessentini M, Sahraoui H, Boukadoum M (2008) Model transformation as an optimization problem, MoDELS
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media B.V.
About this paper
Cite this paper
Ko, JW., Han, JS., Song, YJ. (2012). Pattern Based Model Transformation Using Mapping Patterns for Model Transformation Verification. In: Kim, K., Ahn, S. (eds) Proceedings of the International Conference on IT Convergence and Security 2011. Lecture Notes in Electrical Engineering, vol 120. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-2911-7_46
Download citation
DOI: https://doi.org/10.1007/978-94-007-2911-7_46
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-2910-0
Online ISBN: 978-94-007-2911-7
eBook Packages: EngineeringEngineering (R0)