A Formal Approach for Cloud Composite Services Verification.

Aida Lahouij Lazhar Hamel Mohamed Graiet Mohammed El Malki

Published in: SOCA (2018)

Keyphrases

composite services
formal methods
service composition
web service composition
cloud computing
model checking
web services
knowledge base
databases
orders of magnitude
petri net
database applications
virtual machine
lightweight
business applications
wireless sensor networks
database systems