Transformation, Ambiguity, and Trivialization
Authors: Alexander Egyed
We developed a consistency checking approach that combines consistent transformation and consistency comparison. Consistent transformation ensures consistency via well-defined transformation steps where source models are transformed into target models in a manner that guarantees consistency. Consistency comparison, on the other hand, detects inconsistencies via well-defined comparison steps where source models are compared to target models to identify inconsistencies. By combining consistent transformation and consistency comparison we found that their respective disadvantages can be leveraged.