Publications of the NWO Open Competition project TFA: Transformations for Abstractions conducted between 2007 and 2011 at Delft University of Technology.
The project is about techniques at the intersection of two areas of software engineering. (1) In order to automate software engineering we would like to automate the process of producing programs by means of automatic transformations, thereby computing with programs as we do with other data. (2) In order to improve the expressivity of programming languages to the concepts and notations of specific application domains, we would would like to extend general-purpose languages with domain-specific abstractions. Combining these desiderata leads to the need to extend transformations for new domain-specific abstractions. Publications of the NWO Open Competition project TFA: Transformations for Abstractions conducted between 2007 and 2011 at Delft University of Technology.
The goal of this project is to develop a systematic approach to the extension of general purpose languages with domain-specific abstractions, integrating those abstractions in the syntax and transformations of the programming environment. This requires research into the following issues:
strategies for the definition of domain abstractions
mechanisms for open extensibility of transformations
methods and patterns for design of open transformations
constraints for independent extensibility of transformations
derivation of transformation extensions from definitions of abstractions
We approach this goal by analyzing a variety of existing domain-specific languages and transformations, developing generic extensibility mechanisms, and validating these first in an `in vitro’ setting and then in a programming environment for the Java language. The project builds on a solid body of work from the Stratego/XT project that will allow us to concentrate on the core of the problem, rather than being distracted by infrastructural issues.
| author: | Lennart C. L. Kats | 08/07/2011 11:29 |