Modern software systems are becoming increasingly complex and are created by different
stakeholders that commit to one vision. Yet, these stakeholders differ in their requirements …

Restoring consistency between different information-sharing artifacts after one of them has
been changed is an important problem that arises in several areas of computer science. In …