Managing Uncertainty in Bidirectional Model Transformations
In Model-Driven Engineering bidirectionality in transformations is regarded as a key mechanism. Recent approaches to non-deterministic transformations have been proposed for dealing with non-bijectivity. Among them, the JTL language is based on a relational model transformation engine which restores consistency by returning all admissible models. This can be regarded as an uncertainty reducing process: the unknown uncertainty at design-time is translated into known uncertainty at run-time by generating multiple choices. Unfortunately, little changes in a model usually correspond to a combinatorial explosion of the solution space. In this paper, we propose to represent the multiple solutions in a intensional manner by adopting a model for uncertainty. The technique is applied to JTL demonstrating the advantages of the proposal.
Mon 26 OctDisplayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00 | |||
13:30 30mTalk | Distributed Model-to-Model Transformation with ATL on MapReduce SLE DOI | ||
14:00 30mTalk | Managing Uncertainty in Bidirectional Model Transformations SLE Romina Eramo University of L'Aquila, Italy, Alfonso Pierantonio University of L'Aquila, Italy, Gianni Rosa University of L'Aquila, Italy DOI | ||
14:30 30mTalk | Modular Capture Avoidance for Program Transformations SLE Link to publication DOI |