On QoS web service composition using satisfiability

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.