Partial evaluation of model transformations

Razavi, A; Kontogiannis, K

dc.contributor.author	Razavi, A	en
dc.contributor.author	Kontogiannis, K	en
dc.date.accessioned	2014-03-01T02:53:59Z
dc.date.available	2014-03-01T02:53:59Z
dc.date.issued	2012	en
dc.identifier.issn	02705257	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/36515
dc.subject.other	Co-evolution	en
dc.subject.other	Complex model	en
dc.subject.other	Design documents	en
dc.subject.other	Incremental models	en
dc.subject.other	Model change	en
dc.subject.other	Model dependencies	en
dc.subject.other	Model driven development	en
dc.subject.other	Model transformation	en
dc.subject.other	Original model	en
dc.subject.other	Partial evaluation	en
dc.subject.other	Pre-evaluation	en
dc.subject.other	Software artifacts	en
dc.subject.other	Software life cycles	en
dc.subject.other	Source codes	en
dc.subject.other	Transformation Program	en
dc.subject.other	Software engineering	en
dc.subject.other	Mathematical models	en
dc.title	Partial evaluation of model transformations	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1109/ICSE.2012.6227160	en
heal.identifier.secondary	http://dx.doi.org/10.1109/ICSE.2012.6227160	en
heal.identifier.secondary	6227160	en
heal.publicationDate	2012	en
heal.abstract	Model Transformation is considered an important enabling factor for Model Driven Development. Transformations can be applied not only for the generation of new models from existing ones, but also for the consistent co-evolution of software artifacts that pertain to various phases of software lifecycle such as requirement models, design documents and source code. Furthermore, it is often common in practical scenarios to apply such transformations repeatedly and frequently; an activity that can take a significant amount of time and resources, especially when the affected models are complex and highly interdependent. In this paper, we discuss a novel approach for deriving incremental model transformations by the partial evaluation of original model transformation programs. Partial evaluation involves pre-computing parts of the transformation program based on known model dependencies and the type of the applied model change. Such pre-evaluation allows for significant reduction of transformation time in large and complex model repositories. To evaluate the approach, we have implemented QvtMix, a prototype partial evaluator for the Query, View and Transformation Operational Mappings (QVT-OM) language. The experiments indicate that the proposed technique can be used for significantly improving the performance of repetitive applications of model transformations. © 2012 IEEE.	en
heal.journalName	Proceedings - International Conference on Software Engineering	en
dc.identifier.doi	10.1109/ICSE.2012.6227160	en
dc.identifier.spage	562	en
dc.identifier.epage	572	en