Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.

Aida Lahouij Lazhar Hamel Mohamed Graiet

Published in: OTM Conferences (1) (2018)

Keyphrases

composite services
service composition
web service composition
cloud computing
model checking
web services
case study
information technology
database management systems
service oriented
data mining
e learning
virtual machine
information exchange
service selection