White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Synthesis of Execution Plans for the QVT Core Language

Hoyos Rodriguez, Horacio (2017) Synthesis of Execution Plans for the QVT Core Language. EngD thesis, University of York.

This is the latest version of this item.

[img] Text
hhr502Book.pdf - Examined Thesis (PDF)
Restricted until 6 March 2021.

Request a copy

Abstract

Model transformation languages (MTLs) are important for Model Driven Engineering as they allow the automation of the engineering design process of hardware and software products, in particular at the preliminary and detailed design phases. However, the theories from compiler optimization have not been reused substantively in the development of MTLs. This makes the challenges associated with the implementation of declarative MTLs harder to overcome, in particular with respect to the synthesis of the execution plan (a representation of the control component of the transformation algorithm). The QVT Core MTL is a declarative language, part of a set of standards proposed by the Object Management Group® in order to support the adoption of Model Driven Engineering (MDE). This research presents how instruction scheduling theories can be used for the synthesis of execution plans, in particular for the QVT Core language. The main contributions are a novel approach for performing data dependence analysis on the QVT Core language and its use for the synthesis of execution plans, and the application of metaheuristics to solve the scheduling problem inherent to the synthesis of execution plans. The research demonstrated the feasibility of applying compiler optimization techniques in the design of MTLs and provides a methodology that can be used to construct effi cient execution plans that result in correct transformations. The performance gains and correctness will help the widespread use of the QVT Core language and encourage the adoption of compiler optimization techniques in the implementation of other MTLs.

Item Type: Thesis (EngD)
Academic Units: The University of York > Computer Science (York)
Depositing User: Mr Horacio Hoyos Rodriguez
Date Deposited: 28 Mar 2018 13:24
Last Modified: 28 Mar 2018 13:24
URI: http://etheses.whiterose.ac.uk/id/eprint/19646

Available Versions of this Item

  • Synthesis of Execution Plans for the QVT Core Language. (deposited 28 Mar 2018 13:24) [Currently Displayed]

Please use the 'Request a copy' link(s) above to request this thesis. This will be sent directly to someone who may authorise access.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.

Actions (repository staff only: login required)