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.

[1]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[2]  Antonio Vallecillo,et al.  Change Management in Multi-Viewpoint System Using ASP , 2008, 2008 12th Enterprise Distributed Object Computing Conference Workshops.

[3]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[4]  Bernhard Westfechtel,et al.  A graph-based algorithm for consistency maintenance in incremental and interactive integration tools , 2007, Software & Systems Modeling.

[5]  Alcino Cunha,et al.  Implementing QVT-R Bidirectional Model Transformations Using Alloy , 2013, FASE.

[6]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[7]  Henry Muccini,et al.  A model-driven approach to automate the propagation of changes among Architecture Description Languages , 2010, Software & Systems Modeling.

[8]  Alfonso Pierantonio,et al.  Uncertainty in bidirectional transformations , 2014, MiSE 2014.

[9]  James Cheney,et al.  Notions of Bidirectional Computation and Entangled State Monads , 2015, MPC.

[10]  Ralf Lämmel,et al.  Bidirectional Transformations: A Cross-Discipline Perspective , 2009, ICMT@TOOLS.

[11]  Zhenjiang Hu,et al.  Writing bidirectional model transformations as intentional updates , 2014, ICSE Companion.

[12]  Krzysztof Czarnecki,et al.  Bidirectional Transformations: A Cross-Discipline Perspective GRACE Meeting Notes, State of the Art, and Outlook , 2009 .

[13]  Christof Ebert,et al.  requirements uncertainty: influencing factors and concrete improvements , 2005, ICSE '05.

[14]  Behrouz Homayoun Far,et al.  Uncertainty management in software engineering: Past, present, and future , 2009, 2009 Canadian Conference on Electrical and Computer Engineering.

[15]  Krzysztof Czarnecki,et al.  From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case , 2011, J. Object Technol..

[16]  Rick Salay,et al.  Partial models: Towards modeling and reasoning with uncertainty , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[17]  Rick Salay,et al.  Managing requirements uncertainty with partial models , 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).

[18]  Perdita Stevens,et al.  Bidirectional model transformations in QVT: semantic issues and open questions , 2007, MODELS'07.

[19]  Rick Salay,et al.  Transformation of Models Containing Uncertainty , 2013, MoDELS.

[20]  Roy Kalawsky,et al.  A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming , 2013, J. Object Technol..

[21]  Antonio Cicchetti,et al.  JTL: A Bidirectional and Change Propagating Transformation Language , 2010, SLE.

[22]  David Garlan,et al.  Software engineering in an uncertain world , 2010, FoSER '10.

[23]  Nelly Bencomo,et al.  Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems , 2010, 2010 18th IEEE International Requirements Engineering Conference.