A Feature-based Classication of Model Repair Approaches (First Draft)

Consistency management, the ability to detect, diagnose and handle inconsistencies, is crucial during the development process in Model-driven Engineering (MDE). As the popularity and application scenarios of MDE expanded, a variety of dierent techniques were proposed to address these tasks in specic contexts. Of the various stages of consistency management, this work focuses on inconsistency xing in MDE, where such task is embodied by model repair techniques. This paper proposes a feature-based classication system for model repair techniques, based on an systematic review of previously proposed approaches. We expect this work to assist both the developers of novel techniques and the MDE practitioners looking for suitable solutions.

[1]  Michael Winikoff,et al.  An agent-oriented approach to change propagation in software maintenance , 2011, Autonomous Agents and Multi-Agent Systems.

[2]  Tom Mens,et al.  Detecting model inconsistency through operation-based model construction , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[3]  Igor Ivkovic,et al.  Tracing evolution changes of software artifacts through model synchronization , 2004, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings..

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

[5]  Reiko Heckel,et al.  Extended Model Relations with Graphical Consistency Conditions , 2002 .

[6]  Tom Mens,et al.  Resolving Model Inconsistencies with Automated Planning , 2010, LWI@ASE.

[7]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[8]  Werner Retschitzegger,et al.  A Survey on Incremental Model Transformation Approaches , 2013, ME@MoDELS.

[9]  George Spanoudakis,et al.  Managing interference , 1996, ISAW '96.

[10]  Aditya K. Ghose,et al.  Towards rational and minimal change propagation in model evolution , 2014, ArXiv.

[11]  Ragnhild Van Der Straeten,et al.  Model refactorings through rule-based inconsistency resolution , 2006, SAC.

[12]  Kazutaka Matsuda,et al.  Bidirectionalizing graph transformations , 2010, ICFP '10.

[13]  Jochen Malte Küster,et al.  Improving inconsistency resolution with side-effect evaluation and costs , 2007, MODELS'07.

[14]  Bashar Nuseibeh,et al.  Leveraging Inconsistency in Software Development , 2000, Computer.

[15]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[16]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[17]  Thomas Olsson,et al.  Supporting traceability and inconsistency management between software artifacts , 2002, ICSE 2002.

[18]  Michael Winikoff,et al.  Supporting change propagation in UML models , 2010, 2010 IEEE International Conference on Software Maintenance.

[19]  Haiyan Zhao,et al.  Supporting automatic model inconsistency fixing , 2009, ESEC/SIGSOFT FSE.

[20]  Alexander Egyed,et al.  Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management , 2013, MoDELS.

[21]  George Spanoudakis,et al.  Reconciling requirements: a method for managing interference, inconsistency and conflict , 1997, Ann. Softw. Eng..

[22]  Wolfgang Emmerich,et al.  Consistency management with repair actions , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[23]  Alcino Cunha,et al.  Towards a framework for multi-directional model transformations , 2014 .

[24]  Alcino Cunha,et al.  Least-change bidirectional model transformation with QVT-R and ATL , 2014, Software & Systems Modeling.

[25]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[26]  Manuel Wimmer,et al.  CARE - A Constraint-Based Approach for Re-Establishing Conformance-Relationships , 2014, APCCM.

[27]  Alexander Egyed,et al.  Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

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

[29]  Michal Antkiewicz,et al.  Design Space of Heterogeneous Synchronization , 2007, GTTSE.

[30]  John C. Grundy,et al.  Inconsistency Management for Multiple-View Software Development Environments , 1998, IEEE Trans. Software Eng..

[31]  Tom Mens,et al.  Assessing the Kodkod Model Finder for Resolving Model Inconsistencies , 2011, ECMFA.

[32]  Richard F. Paige,et al.  Detecting and Repairing Inconsistencies across Heterogeneous Models , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[33]  Holger Giese,et al.  From model transformation to incremental bidirectional model synchronization , 2009, Software & Systems Modeling.

[34]  Nuno Macedo,et al.  A relational approach to bidirectional transformation , 2014 .

[35]  Bashar Nuseibeh,et al.  Using Abduction to Evolve Inconsistent Requirements Specification , 1999, Australas. J. Inf. Syst..

[36]  Rick Salay,et al.  Relationship-based change propagation: A case study , 2009, 2009 ICSE Workshop on Modeling in Software Engineering.

[37]  Steve Easterbrook,et al.  Handling conflict between domain descriptions with computer-supported negotiation , 1991 .

[38]  Ragnhild Van Der Straeten,et al.  Detecting and resolving model inconsistencies using transformation dependency analysis , 2006, MoDELS'06.

[39]  Holger Giese,et al.  A Plug-In for Flexible and Incremental Consistency Management , 2003 .

[40]  Alcino Cunha,et al.  Model repair and transformation with Echo , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[41]  Ákos Horváth,et al.  Quick fix generation for DSMLs , 2011, 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

[42]  Anne-Thérèse Körtgen New Strategies to Resolve Inconsistencies between Models of Decoupled Tools , 2010, LWI@ASE.

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

[44]  Alexander Egyed,et al.  Inconsistency Resolution in Merging Versions of Architectural Models , 2014, 2014 IEEE/IFIP Conference on Software Architecture.

[45]  Michael Goedicke,et al.  Towards an Integration of Different Specification Methods by using the Viewpoint Framework , 2002, Trans. SDPS.

[46]  Patrick Albert,et al.  Model Search: Formalizing and Automating Constraint Solving in MDE Platforms , 2010, ECMFA.

[47]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[48]  Tom Mens,et al.  Resolving model inconsistencies using automated regression planning , 2013, Software & Systems Modeling.

[49]  Alcino Cunha,et al.  Target Oriented Relational Model Finding , 2014, FASE.

[50]  Alexander Egyed,et al.  Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML , 2010, ASE '10.

[51]  Alexander Egyed,et al.  Computing repair trees for resolving inconsistencies in design models , 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

[52]  Tom Mens,et al.  Using Description Logic to Maintain Consistency between UML Models , 2003, UML.

[53]  Perdita Stevens,et al.  Bidirectionally Tolerating Inconsistency: Partial Transformations , 2014, FASE.

[54]  Steve M. Easterbrook,et al.  Using ViewPoints for inconsistency management , 1996, Softw. Eng. J..

[55]  Michael Winikoff,et al.  An agent-oriented approach to change propagation in software evolution , 2006, Australian Software Engineering Conference (ASWEC'06).

[56]  Andy Schürr,et al.  Checking and Enforcement of Modeling Guidelines with Graph Transformations , 2008, AGTIVE.

[57]  Perdita Stevens,et al.  A Landscape of Bidirectional Model Transformations , 2007, GTTSE.

[58]  Alexander L. Wolf,et al.  Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, ISAW '96, San Francisco, California, USA , 1996, ISAW/Viewpoints.

[59]  Aditya K. Ghose,et al.  Supporting Change Propagation in the Evolution of Enterprise Architectures , 2010, 2010 14th IEEE International Enterprise Distributed Object Computing Conference.

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

[61]  Reda Bendraou,et al.  Towards Automated Inconsistency Handling in Design Models , 2010, CAiSE.

[62]  Andrea Zisman,et al.  Inconsistency Management in Software Engineering: Survey and Open Research Issues , 2000 .