FST Home Page

Abstract

FST (Framework for Sdf Transformation) supports the adaptation (in a broad sense) of grammars based on the syntax definition formalism SDF. The executable specification of FST is based on the ASF+SDF Meta-Environment. Grammar transformations form an important concept of grammar reengineering, implementation, recovery and others. Tool support for grammar transformations is essential to automate the corresponding processes. We have chosen SDF as target language for grammar transformations because it is an expressive syntax definition formalism which does not just cover BNF and extended BNF but also constructs for modularisation and disambiguation. The algebraic specification of the framework is immediately operational in the ASF+SDF Meta-Environment.

Credits

Jan Kort (Universiteit van Amsterdam)
Ralf Lämmel (Vrije Universiteit)
Guido Wachsmuth (Universität Rostock)

Papers

Ralf Lämmel:
Grammar Adaptation (FME'01, LNCS 2021)
Ralf Lämmel and Guido Wachsmuth:
Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment
(LDTA'01, ENTCS 44(2))

No download

This FST has prototype/experiment status.
It was developed with a meanwhile outdated version of the ASF+SDF MetaEnvironment.
We are currently not able to package this prototype.

But see the Grammar Deployment Kit ...

maintained by Ralf Lämmel (Email: ralf@cs.vu.nl)
last modified March 25th, 2002