Case Study: Simulation of a LAN.

Electr. Notes Theor. Comput. Sci 01/2003; 72:71-73. DOI: 10.1016/S1571-0661(04)80627-3
Source: DBLP
  • Source
    Electronic Notes in Theoretical Computer Science 03/2003; 72(4):1-5.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Refactorings are transformations that change the structure of a program, while preserving the behavior. The topic has attracted a lot of attention recently, since it is a promising approach towards the problem of program erosion. Nevertheless a solid theoretical foundation is still lacking. In this paper we focus on improving the expressive power of graph rewriting rules, so that more refactorings can be expressed by single rules. Two new mechanisms are introduced: a notion of refinement of graphs, enabling one to treat specific substructures (e.g. syntax trees of expressions) as a whole, and a notion of duplication, enabling one to use parts of rewriting rules as prototypes that can be instantiated several times. Both mechanisms can be viewed as ways to specify large or infinite sets of rules in a concise way. It is shown that the refactorings PushdownMethod, ExtractMethod and InlineMethod can be expressed using the proposed techniques.
    Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings; 01/2004
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: This article proposes a case study to evaluate the suitability of graph transformation tools for program refac- toring. In order to qualify for this purpose, a graph transfor- mation system must be able to (i) import a graph-based rep- resentation of models of Java programs , (ii) allow these mod- els to be transformed interactively with well-known program refactorings, and (iii) export the resulting models in the same graph-based format used as input. The case study aims to en- able comparison of various features of graph transformation tools, such as their expressiveness and their ability to interact with the user. The model of Java programs is presented and some examples for translating Java source code into the model are provided. The refactorings selected for the case study are specified in detail.
    International Journal on Software Tools for Technology Transfer 07/2010; 12(3-4):183-199.


Available from
Jun 2, 2014