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
Available under License All rights reserved.

Download (676kB) | Preview

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: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Depositing User: Tony Clark
Date Deposited: 12 Apr 2016 14:42
Last Modified: 09 Nov 2016 22:22
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