Verication of the CD2RDBMS Transformation Case in Flora-2: VOLT 2015 Case Study Technical Report
Georg Großmann, Markus Stumptner, Mawson Lakes · 2015
Model transformations are the enablers of models, which are the rst class entities of MDE. Transformations are used to generate, refactor, synthesize, reverse engineer and simplify models among oth- ers. The accuracy of transformation will impact not only transforma- tions themselves, but also the models. The correctness of transformation will be dened by its verication, which makes them critical for models. VOLT workshop has been addressing this important research area for several years. As a solution for the VOLT-2015 case on transformation between class diagrams and RDBMS models, we provide a verication approach, namely MOTIF, in Flora-2 language. With specifying models, transformations and verication in the same language, we aim at closing the gap between models and verication formalism.