An approach of model transformation based on attribute grammars

Attribute grammars have been developed by Knuth [9] for the specification and implementation of static semantic aspects of programming languages. Since then, they have matured into a recognized field of study with many applications [17]. In this paper, we propose a system for transformation of information system models based on this formalism. First, the problem will be defined followed by the necessity for model transformation. Next, some model transformations approaches are presented, with special attention to XSLT. This brief survey gives the characteristics of the problem of model transformation and situates our approach. The semantics offered by attribute grammars brings the rigor of formal semantics while providing good performance at the implementation by a specific software called an evaluator. Thus, our system architecture consists essentially in defining a textual abstract syntax of the source meta-models and in building an attribute grammar to express the transformation. The input of the automatically generated evaluator is some text describing the source model, the syntax of which is defined by an abstract syntax. The output of the evaluator is another text corresponding to the target model in accordance with its grammar. In the last section, the characteristics and the benefits of our approach are discussed.