Future Information Technology pp 256-264 | Cite as
A Study on Model Transformation Mechanism Using Graph Comparison Algorithms and Software Model Property Information
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 MDA (Model Driven Architecture). The existing model verification approaches have focused on using graph comparison between input model and target model or applying graph pattern by simple version tree types. The graph model transformation mechanism proposed on this paper generates prediction model by defining test Oracle as model transformation rules that may conduct verification test of the generated transformation model, in order to support verification on verification of the converted model through MDA based model transformation mechanism. By comparing this prediction model with the target model, it is possible to execute verification test using graph comparison algorithms on the converted model. we supported verification mechanism of transformation model with model property information,dynamic analysis in this paper. Therefore, by increasing reliability of model transformation and further applying test issues on the software development process to the software mode at software design phase. A case study in AGG tool is presented to illustrate the feasibility of the model transformation verification with model property information.
Keywords
graph model transformation model transformation verification model comparison algorithmsPreview
Unable to display preview. Download preview PDF.
References
- 1.Lin, Y., Gray, J.: A Model Transformation Approach to Automated Model Transformation, Ph.D Thesis (2007)Google Scholar
- 2.Varro, D.: Automated Model Transformation for the Analysis of IT System, Ph.D Thesis (2003)Google Scholar
- 3.Darabos, A., Varro, D.: Towards Testing the Implementation of Graph Transformation. In: GT-VMT 2006 (2006)Google Scholar
- 4.Csertan, G., Varro, D.: Visual Automated Transformations for Formal Verification and Validation of UML Model. In: SAC 2007 (2007)Google Scholar
- 5.Czanecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: Workshop on Generative Techniques in the Context of Model-Driven Architecture, OOPSLA 2003 (2003)Google Scholar
- 6.Agrawal, A., Kalmar, Z., Karsai, G., Shi, F., Vizhanyo, A.: GReAT User Manaual (2003)Google Scholar
- 7.Zhao, G., Kong, J., Zhang, K.: Design Pattern Evolution and Verification Using Graph Transformation. In: Proceedings of the 40th Hawaii International Conference on System Sciences (2007)Google Scholar
- 8.Varro, G., Schurr, A.: Benchmarking for Graph Transformation. In: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (2005)Google Scholar
- 9.Varro, D.: Automatic Transformation of UML Models, Budapest University of Technology and Enconomics (2002)Google Scholar
- 10.Varro, D.: Towards Formal Verification of Model Transformations, Budapest University of Technology and Enconomics (2004)Google Scholar
- 11.Matinlassi, M.: Quality-Driven Software Architecture Model Transformation. In: Proceedings of the 5th IEEE/IFIP Conference on Software Architecture (2005)Google Scholar