Title: Validated model transformation-driven software development

Authors: Laszlo Lengyel, Tihamer Levendovszky, Hassan Charaf

Addresses: Department of Automation and Applied Informatics, Budapest University of Technology and Economics, 1111 Budapest, Goldmann Gyorgy ter 3, Hungary. ' Department of Automation and Applied Informatics, Budapest University of Technology and Economics, 1111 Budapest, Goldmann Gyorgy ter 3, Hungary. ' Department of Automation and Applied Informatics, Budapest University of Technology and Economics, 1111 Budapest, Goldmann Gyorgy ter 3, Hungary

Abstract: Model-driven Software Engineering is one of the most focused research fields. Model processors automatically generate the lower level artefacts. Graph transformation is a widely used technique for model transformations. Especially visual model transformations can be expressed by graph transformations. This paper presents a visual control flow support of the Visual Modelling and Transformation System and discusses the principles of the constraint-driven validated model transformation. The presented approach helps to validate, preserve or guarantee certain model properties not only for individual transformation rules but also for the whole transformation.

Keywords: model-based development; software development; visual control flow language; metamodel-based model transformation; validated model transformation; model transformation-driven software evolution; metamodelling; software engineering; visual modelling.

DOI: 10.1504/IJCAT.2008.017723

International Journal of Computer Applications in Technology, 2008 Vol.31 No.1/2, pp.106 - 119

Published online: 27 Mar 2008 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article