On repairing queries in cloud computing

Cloud Computing based Software as a Service (SaaS) combines multiple Web Services to satisfy a SaaS request, therefore SaaS should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. However, it may be the case of available services that do not match all user's request, leading the system to grind to a halt. It is better to have an alternative candidate in the cloud while not fulfilling all the constraints. In this paper, we provide a solution to repair the failed user's query by rewriting it with an approximation. It is based on a Minimally Unsatisfiable Subformula (MUS) that exploits Satisfiability (SAT) problem to repair the query and provide an alternative SaaS that leads to a successful request closed to the original one.

[1]  Shanping Li,et al.  Constraint satisfaction in dynamic Web service composition , 2005, 16th International Workshop on Database and Expert Systems Applications (DEXA'05).

[2]  M. Brian Blake,et al.  Generalized Semantics-Based Service Composition , 2008, 2008 IEEE International Conference on Web Services.

[3]  Soundar R. T. Kumara,et al.  Web Service Planner (WSPR): An Effective and Scalable Web Service Composition Algorithm , 2007, Int. J. Web Serv. Res..

[4]  Manuel Mucientes,et al.  Automatic Web Service Composition with a Heuristic-Based Search Algorithm , 2011, 2011 IEEE International Conference on Web Services.

[5]  Mazen Malek Shiaa,et al.  An Incremental Graph-based Approach to Automatic Service Composition , 2008, 2008 IEEE International Conference on Services Computing.

[6]  Karem A. Sakallah,et al.  Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints , 2007, Journal of Automated Reasoning.

[7]  Dongwon Lee,et al.  Type-Aware Web Service Composition Using Boolean Satisfiability Solver , 2008, 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services.

[8]  Danilo Ardagna,et al.  Quality-of-service in cloud computing: modeling techniques and their applications , 2014, Journal of Internet Services and Applications.

[9]  Ching-Seh Wu,et al.  Tree-based Search Algorithm for Web Service Composition in SaaS , 2012, 2012 Ninth International Conference on Information Technology - New Generations.

[10]  Nicolas Sabouret,et al.  Web services composition handling user constraints: towards a semantic approach , 2010, iiWAS.

[11]  Joao Marques-Silva,et al.  Smallest MUS Extraction with Minimal Hitting Set Dualization , 2015, CP.

[12]  Dhara Virani,et al.  Service Composition Based on Multi Agent in Cloud Environment , 2012 .

[13]  Salima Benbernou,et al.  A Soft Constraint-Based Approach to QoS-Aware Service Selection , 2010, ICSOC.

[14]  Yuhong Yan,et al.  An Efficient Syntactic Web Service Composition Algorithm Based on the Planning Graph Model , 2008, 2008 IEEE International Conference on Web Services.

[15]  Thierry Vidal,et al.  A distributed multi-agent planning approach for automated web services composition , 2012, Web Intell. Agent Syst..

[16]  Salima Benbernou,et al.  Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing , 2015, 2015 IEEE 12th International Conference on e-Business Engineering.