Show simple item record

dc.contributor.authorTaentzer, Gabriele
dc.contributor.authorKehrer, Timo
dc.contributor.authorPietsch, Christopher
dc.contributor.authorKelter, Udo
dc.contributor.editorBecker, Steffen
dc.contributor.editorBogicevic, Ivan
dc.contributor.editorHerzwurm, Georg
dc.contributor.editorWagner, Stefan
dc.date.accessioned2019-03-14T11:49:20Z
dc.date.available2019-03-14T11:49:20Z
dc.date.issued2019
dc.identifier.isbn978-3-88579-686-2
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/20906
dc.description.abstractWe 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.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering and Software Management 2019
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-292
dc.titleA Formal Framework for Incremental Model Slicingen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages147-149
mci.conference.sessiontitleSession 14: Programmanalyse und Verifikation II
mci.conference.locationStuttgart, Germany
mci.conference.date18.-22. Februar 2019
dc.identifier.doi10.18420/se2019-45


Files in this item

Thumbnail

Show simple item record