Resolving Model Inconsistencies with Automated Planning

Various approaches have been explored to detect and resolve software model inconsistencies in a generic and scalable way. In this position paper, we outline our research that aims to use the technique of automated planning for the purpose of resolving model inconsistencies. We discuss the scalability results of the approach obtained through several stress-tests and we propose several alternatives to the automated planning approach.

[1]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[2]  Ragnhild Van Der Straeten.  Inconsistency Management in Model-driven Engineering , 2005 .

[3]  Sergio Jiménez Celorrio.  Planning and learning under uncertainty , 2011 .

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

[5]  Pierre Hansen,et al.  Variable Neighbourhood Search , 2003 .

[6]  Bernhard Nebel,et al.  The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..

[7]  Tom Mens,et al.  Incremental Resolution of Model Inconsistencies , 2006, WADT.

[8]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

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

[10]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[11]  Francesco Marcelloni,et al.  Fuzzy logic-based object-oriented methods to reduce quantization error and contextual bias problems in software development , 2004, Fuzzy Sets Syst..

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

[13]  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.

[14]  Witold Pedrycz,et al.  Computational intelligence in software engineering , 1997, CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings.

[15]  P. Hansen,et al.  Variable Neighborhood Search for Extremal Graphs. 15. On Bags and Bugs , 2005 .

[16]  Pierre Hansen,et al.  Variable Neighborhood Search for Extremal Graphs: IV: Chemical Trees with Extremal Connectivity Index , 1998, Comput. Chem..

[17]  Markus Völter,et al.  Model-Driven Software Development: Technology, Engineering, Management , 2006 .

[18]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[19]  Pierre Hansen,et al.  Variable neighborhood search for extremal graphs: 1 The AutoGraphiX system , 1997, Discret. Math..

[20]  Francesco Marcelloni,et al.  Leaving inconsistency using fuzzy logic , 2001, Inf. Softw. Technol..

[21]  Jörg Hoffmann,et al.  FF: The Fast-Forward Planning System , 2001, AI Mag..

[22]  Kim Mens,et al.  Diagnosis and semi-automatic correction of detected design inconsistencies in source code , 2009, IWST.

[23]  Mark Harman,et al.  Search-based software engineering , 2001, Inf. Softw. Technol..

[24]  Derek Long,et al.  Plan Constraints and Preferences in PDDL3 , 2006 .

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

[26]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[27]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

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

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

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