A general model-based slicing framework

CLARK, Tony (2011). A general model-based slicing framework. In: 2011 Workshop on Composition and Evolution of Model Transformations. (Unpublished)

[img]
Preview
PDF
kings_workshop_clark_1.pdf - Accepted Version
All rights reserved.

Download (676kB) | Preview
Related URLs:

    Abstract

    Slicing is used to reduce the size of programs by removing those statements that do not contribute to the values of specified variables at a given program location. Slicing aids program understanding, debugging and verification. Slicing could be a useful technique to address problems arising from the size and complexity of industrial scale models; however there is no precise definition that can be used to specify a model slice. Model slices are achieved using model transformations, and since models are usually instances of multiple heterogeneous meta-models, model slicing must involve the composition of multiple transformations. This paper proposes a framework that can be used to define both program and model slicing. The framework is used to construct slices of a simple model written in a UML-like language

    Item Type: Conference or Workshop Item (Paper)
    Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
    Departments - Does NOT include content added after October 2018: Faculty of Science, Technology and Arts > Department of Computing
    Depositing User: Tony Clark
    Date Deposited: 12 Apr 2016 14:42
    Last Modified: 16 Nov 2018 12:14
    URI: http://shura.shu.ac.uk/id/eprint/11949

    Actions (login required)

    View Item View Item

    Downloads

    Downloads per month over past year

    View more statistics