JATS: A Java Transformation System

• Fernando Castor UFPE
• Kellen Oliveira UFPE
• Adeline Souza UFPE
• Gustavo Santos UFPE
• Paulo Borba UFPE

DOI: https://doi.org/10.5753/sbes.2001.24005

Resumo

In this paper we present JATS, a transformation system for the Java programming language. The system has been designed with the goal of making the process of creating and applying transformations as agile as possible. Also, it features a transformation language which has a syntax very similar to that of Java, decreasing the semantic gap between the transformation language and the language being transformed. JATS may be used to specify and apply a wide range of transformations, including refactorings, refinement laws and code generation.

Referências

Paulo Borba and Augusto Sampaio. The basic laws of rool: An object oriented language. Revista Brasileira de Informática Teórica e Aplicada, 7(1), sep 2000.

Fernando Castor. Definição de uma Linguagem para Especificar Transformações em Java. Universidade Federal de Pernambuco, 2001. Graduate work. Avaliable for download at http://www.cin.ufpe.br/fjelf/jats.

Sandrelly Coutinho, Tiago Reis, and Ana Lúcia Cavalcanti. Uma ferramenta educacional de refinamentos. In XII Simpósio Brasileiro de Engenharia de Software - Sessão de Ferramentas, pages 61 64, Florianópolis, Brazil, 1999.

Marcelo F. Felix and Edward H. Hausler. LET:uma linguagem para especificar transformações. In III Simpósio Brasileiro de Linguagens de Programação, pages 109-123, Florianópolis, Brazil, may 1999.

Martin Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.

James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996.

Instantiations, Inc. The jFactor White Paper, 2000. Avaliable for download at http://www.instantiations.com/jtactor/docs/default.htm.

Sriram Sankar. The JavaCC Documentation. Metamata, Inc.. 1998. Avaliable for download at http://www.metamata.com/javacc.