sle2012/paper09

SLE 2012 paper:
Guided Merging of Sequence Diagrams

Magdalena Widl, Armin Biere, Petra Kaufmann, Uwe Egly, Marijn J. H. Heule, Gerti Kappel, Martina Seidl, Hans Tompits

• DOI: 10.1007/978-3-642-36089-3_10
• T2B: Evolution
  • The main setting is model versioning and merging during evolution/maintenance, focusing on reducing merge errors.
• T4B: Horizontal Transformation
  • Merging independently edited models is treated as a model-to-model reconciliation/mapping problem.
• T5D: Formal Methods
  • The merge problem is formalised and reduced to SAT, placing formal reasoning at the core of the proposed solution.

---

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