Transformation Tool Composition

Stc
Date: 2005 03 17

Time: 11:45

Room: CGN room C004

Speaker: Niels Janssen

Title: Transformation Tool Composition

Abstract

A component-based approach to the construction of transformation systems is common in the Stratego/XT environment. Transformation tools implemented with Stratego exchange their data in the ATerm format which makes them good candidates for data-flow composition. XT provides a component model for the componentization of transformations and a bundle of transformation tools to support the construction of entire source to source transformations with components such as a generic parser and pretty printer. The XT component model only describes to which standard a transformation component should be developed, not how they should be composed. For this purpose, a framework for transformation tool composition (XTC) has been developed. This prototype provides support for run-time composition of transformation components adhering to the XT component model.

For this thesis, the prototype was evaluated. The use of new concepts and techniques led to a new XTC component framework. The new framework relies on a more formal definition of components than the prototype by using Transformation Tool Definitions (XTD) which allows the framework to make decisions based upon component meta-information instead of assumptions. The new framework supports the discovery and invocation of components with alternative component models through a component dispatch mechanism. Contract validation, based upon the grammars as contracts paradigm of the XT component model, has been implemented generically as a component dispatch wrapper, and the use of existing dispatchable transformation components as transformation services has been made possible through an XT service provider.