Abstract | ||
---|---|---|
The objective of this paper is to explain the notion of fine-grain transformations (FGTs), showing how they can be used as prototypical building blocks for constructing refactorings of a design-level system description. FGT semantics are specified in terms of pre- and postconditions which, in turn, also determines the sequential dependency relationships between them. An algorithm is provided which uses sequential dependency relationships to convert an FGT-list to a set of so-called FGT-DAGs. It is shown how to compute the precondition of such ordered collections of FGTs. The paper introduces a new approach to deal with refactoring pre-and postconditions by defining them at two different levels. To give these concepts syntactical form, we rely on the Prolog formats used by an FGT-based refactoring prototype tool. An example is provided to illustrate the various concepts and to demonstrate that, because of their simplicity, well-defined pre-post semantics and their intuitive nature, FGTs provide a pragmatic basis for building refactorings. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1142/S0218194013500095 | INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING |
Keywords | Field | DocType |
Refactoring, FGT-based refactoring, fine-grain transformations, refactoring-level precondition, FGT-enabling precondition, directed acyclic graph | Programming language,Computer science,Directed acyclic graph,Precondition,Theoretical computer science,Prolog,Code refactoring,Semantics | Journal |
Volume | Issue | ISSN |
23 | 3 | 0218-1940 |
Citations | PageRank | References |
0 | 0.34 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Emmad Saadeh | 1 | 1 | 1.04 |
Derrick G. Kourie | 2 | 223 | 33.10 |