On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques

Business Process as a Service (BPaaS) is knowing a considerable proliferation and an exponential emergence as a new Cloud service for delivering complex and complete business applications. In order to guarantee a place in the actual harshly competitive Cloud services, BPaaS providers should offer to their clients, flexible services responding both to their functional and non-functional requirements. In this paper, we propose a Reconfigurable BPaaS based SaaS services Federation system (RBPF). The reconfiguration allows for a flexible BPaaS service responding to the changing users functional and non-functional requirements. To do so, the RBPF system follows the Boolean Satisfiability Problem (SAT) based algorithms to (i) initially configure the Business process based on SaaS services and to (ii) reconfigure minimally and on the fly the composition whenever a reconfiguration is required. The end users of the RBPF system are BPaaS as well as SaaS providers (a federation of SaaS) aiming to collaborate for the BPaaS achievement purpose.