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

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: 18 Mar 2021 08:08
URI: https://shura.shu.ac.uk/id/eprint/11949

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics