Towards Model-and-Code Consistency Checking.

Riedl-Ehrenleitner, Markus; Demuth, Andreas; Egyed, Alexander

doi:10.1109/COMPSAC.2014.91

Towards Model-and-Code Consistency Checking.

by Markus Riedl-Ehrenleitner, Andreas Demuth, Alexander Egyed

Abstract:

In model-driven engineering, design models allow for efficient designing without considering implementation details. Still, it is crucial that design models and source code are in sync. Unfortunately, both artifacts do evolve frequently and concurrently which causes them to drift apart over time. Even though technologies such as model-to-code transformations are commonly employed to keep design models and source code synchronized, those technologies typically still require unguided, manual adaptations. Hence, they do not effectively prevent inconsistencies from being introduced. In this paper, we outline a novel approach for checking consistency between design models and source code. Our approach aims at detecting inconsistencies instantly and informing developers about a projectâ€™s consistency status live during development.

Reference:

Markus Riedl-Ehrenleitner, Andreas Demuth, Alexander Egyed, "Towards Model-and-Code Consistency Checking.", pp. 85-90, 2014.

Bibtex Entry:

@Conference{DBLP:conf/compsac/Riedl-EhrenleitnerDE14,
  Title                    = {Towards Model-and-Code Consistency Checking.},
  Author                   = {Markus Riedl-Ehrenleitner and Andreas Demuth and Alexander Egyed},
  Booktitle                = {38th Annual Computer Software and Applications Conference (COMPSAC), Vasteras, Sweden},
  Year                     = {2014},
  Pages                    = {85-90},

  Abstract                 = {In model-driven engineering, design models allow for efficient designing without considering implementation details. Still, it is crucial that design models and source code are in sync. Unfortunately, both artifacts do evolve frequently and concurrently which causes them to drift apart over time. Even though technologies such as model-to-code transformations are commonly employed to keep design models and source code synchronized, those technologies typically still require unguided, manual adaptations. Hence, they do not effectively prevent inconsistencies from being introduced. In this paper, we outline a novel approach for checking consistency between design models and source code. Our approach aims at detecting inconsistencies instantly and informing developers about a projectâ€™s consistency status live during development.},
  Doi                      = {10.1109/COMPSAC.2014.91},
  File                     = {Towards Model and Code Consistency Checking:Conferences\\COMPSAC 2014 - Towards Model and Code Consistency Checking\\Towards Model and Code Consistency Checking.pdf:PDF},
  Keywords                 = {consistency, mde, FWF P25289-N15, FWF P25513-N15},
  Paper                    = {Conferences/2014/COMPSAC 2014 - Towards Model-and-Code Consistency Checking/paper.pdf},
  Presentation             = {Conferences/2014/COMPSAC 2014 - Towards Model-and-Code Consistency Checking/Towards Model-and-Code Consistency Checking Presentation.pdf}
}