Model Transformations for the MDA with BOTL

Abstract

In this paper we identify some basic requirements for model transformations for the Model Driven Architecture (MDA) approach and for a model transformation language that is used to specify these transformations. Basically such a language must be precise, allow reasoning about the applicability of specifications, and allow to verify that only valid models are created. Therefore we introduce the Bidirectional Object oriented Transformation Language (BOTL) and show how this language does support the verification of the desired properties. A small running example illustrates our approach.