A Formal Framework for Incremental Model Slicing
| dc.contributor.author | Taentzer, Gabriele | |
| dc.contributor.author | Kehrer, Timo | |
| dc.contributor.author | Pietsch, Christopher | |
| dc.contributor.author | Kelter, Udo | |
| dc.contributor.editor | Becker, Steffen | |
| dc.contributor.editor | Bogicevic, Ivan | |
| dc.contributor.editor | Herzwurm, Georg | |
| dc.contributor.editor | Wagner, Stefan | |
| dc.date.accessioned | 2019-03-14T11:49:20Z | |
| dc.date.available | 2019-03-14T11:49:20Z | |
| dc.date.issued | 2019 | |
| dc.description.abstract | We report about a recently developed “Formal Framework for Incremental Model Slicing”, published in [Ta18]. A model slice of a model is a submodel comprising a selected model part, called slicing criterion. In addition to classical use cases from the field of program understanding, model slicing is also motivated by specifying submodels of interest to be further processed more efficiently. Since slicing criteria are often modified during software development tasks, such slices often need to be updated. A slice update can be performed by creating the new slice from scratch or by incrementally updating the existing slice. We present a formal framework for defining model slicers that support incremental slice updates. This framework abstracts from the behavior of concrete slicers as well as from the concrete model modification approach. Incremental slice updates are shown to be equivalent to non-incremental ones. Furthermore, we present a framework instantiation based on the concept of edit scripts defining application sequences of model transformation rules, along with two two concrete model slicers implemented based on this instantiation. | en |
| dc.identifier.doi | 10.18420/se2019-45 | |
| dc.identifier.isbn | 978-3-88579-686-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/20906 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering and Software Management 2019 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-292 | |
| dc.title | A Formal Framework for Incremental Model Slicing | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 149 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 147 | |
| gi.conference.date | 18.-22. Februar 2019 | |
| gi.conference.location | Stuttgart, Germany | |
| gi.conference.sessiontitle | Session 14: Programmanalyse und Verifikation II |
Dateien
Originalbündel
1 - 1 von 1