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

An Extensible Static Analysis Framework for Automated Analysis, Validation and Performance Improvement of Model Management Programs

Wei, Ran (2016) An Extensible Static Analysis Framework for Automated Analysis, Validation and Performance Improvement of Model Management Programs. PhD thesis, University of York.

This is the latest version of this item.

[img]
Preview
Text
thesis.pdf
Available under License Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 UK: England & Wales.

Download (6Mb) | Preview

Abstract

Model Driven Engineering (MDE) is a state-of-the-art software engineering approach, which adopts models as first class artefacts. In MDE, modelling tools and task-specific model management languages are used to reason about the system under development and to (automatically) produce software artefacts such as working code and documentation. Existing tools which provide state-of-the-art model management languages exhibit the lack of support for automatic static analysis for error detection (especially when models defined in various modelling technologies are involved within a multi-step MDE development process) and for performance optimisation (especially when very large models are involved in model management operations). This thesis investigates the hypothesis that static analysis of model management programs in the context of MDE can help with the detection of potential runtime errors and can be also used to achieve automated performance optimisation of such programs. To assess the validity of this hypothesis, a static analysis framework for the Epsilon family of model management languages is designed and implemented. The static analysis framework is evaluated in terms of its support for analysis of task-specific model management programs involving models defined in different modelling technologies, and its ability to improve the performance of model management programs operating on large models.

Item Type: Thesis (PhD)
Keywords: Model Driven Engineering, Static Analysis, Program Optimisation
Academic Units: The University of York > Computer Science (York)
Depositing User: Dr Ran Wei
Date Deposited: 29 Nov 2016 12:15
Last Modified: 29 Nov 2016 12:15
URI: http://etheses.whiterose.ac.uk/id/eprint/14375

Available Versions of this Item

  • An Extensible Static Analysis Framework for Automated Analysis, Validation and Performance Improvement of Model Management Programs. (deposited 29 Nov 2016 12:15) [Currently Displayed]

You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
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)