SLE 2015 paper:
Managing Uncertainty in Bidirectional Model Transformations

Romina Eramo, Alfonso Pierantonio, Gianni Rosa

🏆 Distinguished Research Paper Award
DOI: 10.1145/2814251.2814259
T4B: Horizontal Transformation
- The paper addresses bidirectional mappings between models, i.e., horizontal transformations/synchronisation.
T5D: Formal Methods
- It provides a principled treatment of uncertainty/non-determinism, which is typically formalised at the semantic level.
T2B: Evolution
- Uncertainty handling is motivated by maintaining consistency between evolving related models.
T3B: Transformation Languages
- It builds on bidirectional transformation mechanisms that can be expressed as transformation specifications.

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