会议专题

On Model Transformation Methods and Testing of Model Transformation to Support Automated Model Driven Development

When dealing 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.

ATL Model Driven Development Model Transformation

Nguyen Viet Cuong Xhevi Qafrnolla

Department of Computer Science and Engineering,Faculty of Electrical Engineering Czech Technical University in Prague Prague, Czech Republic

国际会议

2011 3rd International Conference on Computer and Automation Engineering(ICCAE 2011)(2011年第三届IEEE计算机与自动化工程国际会议)

重庆

英文

222-226

2011-01-21(万方平台首次上网日期,不代表论文的发表时间)