A MaxSAT based approach for QoS cloud services. Issue 6 (1st November 2020)

• Record Type: Journal Article
• Authors: Ait Wakrime, Abderrahim; Jabbour, Said; Hameurlain, Nabil
• Is Part Of: International journal of parallel, emergent and distributed systems. Volume 35:Issue 6(2020)
• Page Start: 641
• Page End: 651
• Publication Date: 2020-11-01
• Subjects: Cloud computing -- Software as a Service -- formal method -- maximum satisfiability problem -- quality of service -- Web Services Composition; Parallel computers -- Periodicals; Electronic data processing -- Distributed processing -- Periodicals; Computer algorithms -- Periodicals; 004.35
• DOI: 10.1080/17445760.2018.1499908
• Languages: English
• ISSNs: 1744-5760

Abstract

ABSTRACT: Web Services technologies are operated to build Software as a Service (SaaS) layer in the Cloud Computing. It happens that a single Web Service does not respond to customer's request. In this case, one needs to compose several distributed Web Services in order to achieve the customer's goal and allow interaction between heterogeneous applications. In this paper, a new approach for QoS Web Services problem is proposed. It is based on an original encoding using satisfiability problem. To minimise the composition and also take into account user preferences, an objective function is used leading to the known Maximum Satisfiability problem (MaxSAT). Such formulation is flexible and allows to introduce constraints in order to seek for specified Web Services Composition. Experimental evaluation on some generated instances shows the feasibility of our proposed approach.