MetaWSL and Meta-Transformations in the FermaT Transformation System

Authors:
Martin Ward;Hussein Zedan
Affiliations:
De Montfort University;De Montfort University
Venue:
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Year:
2005

Citing 0
Cited 4

Stratego/XT 0.17. A language and toolset for program transformation

Science of Computer Programming
Issues in applying a model driven approach to reconfigurations of satellite software

Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades
Program Metamorphosis

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
An approach to supporting architecture evolution in Internetware

Proceedings of the Fourth Asia-Pacific Symposium on Internetware

Quantified Score

Hi-index	0.00

Visualization

Abstract

A program transformation is an operation which can be applied to any program (satisfying the transformations applicability conditions) and returns a semantically equivalent program. In the FermaT transformation system program transformations are carried out in a wide spectrum language, called WSL, and the transformations themselves are written in an extension of WSL calledMETAWSL which was specifically designed to be a domain-specific language for writing program transformations. As a result, FermaT is capable of transforming its own source code via meta-transformations. This paper introducesMETAWSL and describes some applications of meta-transformations in the FermaT system.