SLE 2023 paper:
Towards Efficient Model Comparison using Automated Program Rewriting

Qurat Ul Ain Ali, Dimitrios S. Kolovos, Konstantinos Barmpis

DOI: 10.1145/3623476.3623519
T4B: Horizontal Transformation
- The paper proposes a model comparison approach, which is a horizontal mapping/differencing operation between models.
T3B: Transformation Languages
- The comparison is encoded in a rule-based language and optimized via automated program rewriting of those rules.
T5F: Performance
- The main driver is improving efficiency of comparison for large models, making performance a key evaluation axis.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.