Minimum Unsatisfiability Based QoS Web Service Composition over the Cloud Computing

Abderrahim Ait Wakrime (1) , Said Jabbour (2)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 CRIL - Centre de Recherche en Informatique de Lens

Cloud Computing based Software as a Service (SaaS) combines multiple Web Services in order to satisfy a SaaS request. SaaS is based on Service Oriented Architectures and Web Service technology which are popular paradigm to design new generation of applications. These functionalities are published on the Internet, but exploiting rigorously a large data stream in order to use Web Services is a complicated and laborious task which may involve error prone. In this paper we investigate the problem of SaaS Web Service Composition. We present a new technique that combines an encoding into SAT and a Minimal Unsatisfiability Subformulas extraction to obtain the minimum SaaS Web Service Composition. Furthermore, we generalize this approach to take into account the quality of SaaS Web Service.

Mots clés: Cloud Computing; Software as a Service; SAT; Quality of Service; Web Service Composition.

Domaines: Informatique [cs]; Intelligence artificielle [cs.AI]; Calcul parallèle, distribué et partagé [cs.DC]

Abderrahim Ait Wakrime, Said Jabbour. Minimum Unsatisfiability Based QoS Web Service Composition over the Cloud Computing. The International Conference on Intelligent Systems Design and Applications (ISDA), Dec 2015, Marrakesh, Morocco. ⟨hal-01242595⟩