CLARK, Tony (2011). A general model-based slicing framework. In: 2011 Workshop on Composition and Evolution of Model Transformations. (Unpublished)
|
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 |
Downloads
Downloads per month over past year