On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques.
Mouna RekikAbderrahim Ait WakrimeNasredine ChenikiYacine SamPublished in: WETICE (2019)
Keyphrases
- sat solving
- end users
- service providers
- sat solvers
- reference architecture
- cloud computing
- private cloud
- web services
- service oriented
- boolean satisfiability
- sat problem
- cloud services
- symmetry breaking
- boolean optimization
- software as a service
- service composition
- web service composition
- satisfiability problem
- orders of magnitude
- np hard
- special case
- genetic algorithm