Verification of the CD2RDBMS Transformation Case in Flora-2

  title={Verification of the CD2RDBMS Transformation Case in Flora-2},
  author={Muzaffar Igamberdiev and Georg Grossmann and Markus Stumptner},
Model transformations play a key role in model-driven development. They are used to generate, refactor, synthesize, reverse engineer and simplify models among others. The accuracy of transformations will impact not only transformations themselves, but also the models, the first class entities of MDE. Verification of correctness properties ensures the quality of both transformations and models. VOLT workshop has been addressing this important research area for several years. As a solution for… CONTINUE READING