Please use this identifier to cite or link to this item:
For citation please use:
Main Title: Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts
Author(s): Rangel, Guilherme
Lambers, Leen
König, Barbara
Ehrig, Hartmut
Bladan, Paolo
Type: Research Paper
Has Version: 10.1007/978-3-540-87405-8_17
Language Code: en
Abstract: Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behavior preservation rely basically on checking given models and their refactored versions. In this paper we introduce a more general technique for checking behavior preservation of refactorings defined by graph transformation rules. We use double pushout (DPO) rewriting with borrowed contexts, and, exploiting the fact that observational equivalence is a congruence, we show how to check refactoring rules for behavior preservation. When rules are behavior-preserving, their application will never change behavior, i.e., every model and its refactored version will have the same behavior. However, often there are refactoring rules describing intermediate steps of the transformation, which are not behavior-preserving, although the full refactoring does preserve the behavior. For these cases we present a procedure to combine refactoring rules to behavior-preserving concur- rent productions in order to ensure behavior preservation. An example of refactoring for finite automata is given to illustrate the theory.
Issue Date: 2008
Date Available: 17-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): graph transformation
visual languages
model transformation
rule transformation
semantical correctness
semantical completeness
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2008-12
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
Format: Adobe PDF | Size: 453.15 kB
DownloadShow Preview

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.