A general model-based slicing framework
Tony Clark · SHURA (Sheffield Hallam University Research Archive) (Sheffield Hallam University) · 2011
Slicing is used to reduce the size of programs by removing those state-ments that do not contribute to the values of specified variables at a given program location. Slicing aids program understanding, debugging and verifi-cation. 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 mul-tiple 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 1 Program Slicing Slicing is a transformation technique that can be used to reduce the size of a program by focusing on a particular aspect of interest. There are different types of traditional