direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Behavior Preservation on Model Refactoring using DPO Transformations with Borrowed Contexts
Zitatschlüssel RLK+08a
Autor Rangel, G. and Lambers, L. and Koenig, B. and Ehrig, H. and Baldan P.
Jahr 2008
ISBN ISSN 1436-9915
Nummer 2008-12
Institution Technische Universität Berlin
Zusammenfassung 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 de�ned by graph transformation rules. We use double pushout (DPO) rewriting with borrowed contexts, and, ex- ploiting 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 �nite automata is given to illustrate the theory.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe