Article

Case Study Simulation of a LAN1 1Partially supported by the EC TMR Network Segra Vis (Syntactic and Semantic Integration of Visual Modeling Techniques) through Universitaire Instelling Antwerpen.

Electronic Notes in Theoretical Computer Science 03/2003; 72(4):71-73. DOI: 10.1016/S1571-0661(04)80627-3
Source: DBLP
Download full-text

Full-text

Available from: Tom Mens
  • Source

    Full-text · Article · Mar 2003 · Electronic Notes in Theoretical Computer Science
  • 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.
    Preview · Conference Paper · Sep 2004
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: This article proposes a taxonomy of model transformation, based on the discussions of a working group on model transformation of the Dagstuhl seminar on Language Engineering for Model-Driven Software Development. This taxonomy can be used, among others, to help developers in deciding which model transformation language or tool is best suited to carry out a particular model transformation activity.
    Full-text · Conference Paper · Mar 2006
Show more