UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

State-based model slicing: A survey

Androutsopoulos, K; Clark, D; Harman, M; Krinke, J; Tratt, L; (2013) State-based model slicing: A survey. ACM Computing Surveys , 45 (4) , Article 53. 10.1145/2501654.2501667. Green open access

[thumbnail of csur13.pdf] PDF
csur13.pdf

Download (514kB)

Abstract

Slicing is a technique, traditionally applied to programs, for extracting the parts of a program that affect the values computed at a statement of interest. In recent years authors have begun to consider slicing at model level. We present a detailed review of existing work on slicing at the level of finite-state-machine-based models. We focus on state-based modeling notations because these have received sufficient attention from the slicing community that there is now a coherent body of hitherto unsurveyed work. We also identify the challenges that state-based slicing presents and how the existing literature has addressed these. We conclude by identifying problems that remain open either because of the challenges involved in addressing them or because the community simply has yet to turn its attention to solving them.

Type: Article
Title: State-based model slicing: A survey
Open access status: An open access version is available from UCL Discovery
DOI: 10.1145/2501654.2501667
Publisher version: http://dx.doi.org/10.1145/2501654.2501667
Language: English
Additional information: This is a digitized copy derived from an ACM-copyrighted or licensed work. ACM did not prepare this copy and does not guarantee that it is an accurate copy of the originally published work.
Keywords: Slicing, finite state machines
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/1410594
Downloads since deposit
276Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item