This chapter discusses the use of Graph Transformations for refactoring. Refactoring changes the internal structure of a software system, while preserving its behavior. Even though the input/output view of a system’s behavior does not change, refactoring can have several consequences for the computing process, as expressed for instance by the sequence of method calls or by state changes of an object or an activity. Such modifications must be reflected in the system model, generally expressed through UML diagrams. We propose a formal approach, based on distributed graph transformation, to the coordinated evolution of code and model, as effect of refactorings. The approach can be integrated into existing refactoring tools. Due to its formal background, it makes it possible to reason about the behavior preservation of each specified refactoring.

Specifying Coherent Refactoring of Software Artefacts with Distributed Graph Transformation / Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco; G., Taentzer. - STAMPA. - (2004), pp. 95-125. [10.4018/978-1-59140-527-6.ch005].

Specifying Coherent Refactoring of Software Artefacts with Distributed Graph Transformation

BOTTONI, Paolo Gaspare;PARISI PRESICCE, Francesco;
2004

Abstract

This chapter discusses the use of Graph Transformations for refactoring. Refactoring changes the internal structure of a software system, while preserving its behavior. Even though the input/output view of a system’s behavior does not change, refactoring can have several consequences for the computing process, as expressed for instance by the sequence of method calls or by state changes of an object or an activity. Such modifications must be reflected in the system model, generally expressed through UML diagrams. We propose a formal approach, based on distributed graph transformation, to the coordinated evolution of code and model, as effect of refactorings. The approach can be integrated into existing refactoring tools. Due to its formal background, it makes it possible to reason about the behavior preservation of each specified refactoring.
2004
Transformation of Knowledge, Information and Data: Theory and Applications
9781591405276
02 Pubblicazione su volume::02a Capitolo o Articolo
Specifying Coherent Refactoring of Software Artefacts with Distributed Graph Transformation / Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco; G., Taentzer. - STAMPA. - (2004), pp. 95-125. [10.4018/978-1-59140-527-6.ch005].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/164034
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact