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.

Download PDF here!