Duration: 2006 until 2009
Funded by: NWO
The purpose of this project is to define a meta-language in which all aspects of Software Languages (SLs), besides their concrete syntax, can be defined in a consistent manner. As a common formal foundation of this metalanguage we propose graphs and graph transformations, which we believe to be powerful enough to capture all relevant SL aspects. This meta-language will enable us to provide semantic definitions of the source and target SLs involved in a given model transformation on a compatible basis; this in turn will enable us to precisely formulate and check the requirement of correctness preservation. We believe these abilities to be essential in realizing the full potential of MDA.