sle2020/paper04

SLE 2020 paper:
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation

Nils B. Weidmann, Lars Fritsche, Anthony Anjorin

• DOI: 10.1145/3426425.3426932
• T3B: Transformation Languages
  • The paper’s central topic is specifying or applying transformations (rewriting/mapping/synchronisation).
• T4B: Horizontal Transformation
  • It performs mapping/conversion/synchronisation between representations (horizontal transformations).
• T5H: Usability
  • It targets usability (developer interaction, comprehension, editing experience).

---

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