Incorporating uncertainty into bidirectional model transformations and their delta-lens formalization

In Model-Driven Engineering, bidirectional transformations are key to managing consistency and synchronization of related models. Delta-lenses are a exible algebraic framework designed for specifying delta-based synchronization operations. Since model consistency is usually not a one-to-one correspondence, the synchronization process is inherently ambiguous, and consistency restoration can be achieved in many different ways. This can be seen as …