Transforming Object Oriented Models with BOTL

In many application domains, like for example B2B, B2C, or CASE, a lot of heterogeneous applications exist which have to cooperate and exchange data. A major task of system integration is the mapping of di#erent data models, on which the applications are built upon. In this paper, the Basic Object-oriented Transformation Language (BOTL) is introduced as a mathematically founded approach for the integration of data models. Class diagrams of the Unified Modelling Language (UML) are today established as a technique for meta modelling in the software engineering domain. Therefore, BOTL uses a UML-based notation for the definition of declarative mapping rules that allow reasoning about properties like applicability, metamodel conformance and bidirectionality of transformations