Sciweavers

GG
2008
Springer

Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts

13 years 11 months ago
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
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 without the need of considering specific models. 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 beha...
Guilherme Rangel, Leen Lambers, Barbara König
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where GG
Authors Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
Comments (0)