Login / Signup
A hybrid formal verification approach for QoS-aware multi-cloud service composition.
Alireza Souri
Amir Masoud Rahmani
Nima Jafari Navimipour
Reza Rezaei
Published in:
Clust. Comput. (2020)
Keyphrases
</>
qos aware
service composition
formal verification
web service composition
model checking
service selection
web services
service oriented
petri net
cloud computing
distributed query processing
quality of service
data center
ai planning
service discovery
loosely coupled