Abstract—To deal with the complexity of IT systems during their development as well as maintenance processes, modeling plays a very important role. As more complex models need to be used, the importance of transformations between models grows. Model transformations allow the definition and implementation of operations on models, also provide a chain that can enable the automated development of a system from its corresponding models. In this context, approaches to model transformation techniques promise to bring productivity and efficiency to the whole process. This paper outlines practices from current model transformation approaches. We introduce the approach of using hybrid transformation with ATLAS Transformation Language (ATL) to support automation of model driven development, we illustrate this method with a use-case example. To achieve automation development we outline a formal approach to testing model transformation with automated test data generation.
Index Terms—ATL, model driven development, model transformation.
The authors are with the Department of Computer Science and Engineering, Faculty of Electrical Engineering Czech Technical University in Prague Prague, Czech Republic Nguyen Viet Cuong’s (e-mail: nguyev@fel.cvut.cz, Xhevi Qafmolla’s, qafmox1@fel.cvut.cz).
Cite: Nguyen Viet Cuong and Xhevi Qafmolla, "Towards Automated Model Driven Development with Model Transformation Methods and Testing," International Journal of Information and Electronics Engineering vol. 3, no. 3, pp. 266-269, 2013.