On QoS Web Service Composition Using Satisfiability

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 translates the problem of minimum SaaS Web Services composition into MaxSAT problem. We extend this encoding to take int account the QoS by proposing a weighted MaxSAT version.

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. On QoS Web Service Composition Using Satisfiability . The International Conference on Information and Communication technology and Accessibility (ICTA), IEEE, Dec 2015, Marrakesh, Morocco. ⟨hal-01242598⟩