Exploiting Semantics and Patterns for Verification of Orchestrated Cloud Services.

Francesco Moscato

Published in: CISIS (2015)

Keyphrases

cloud services
cloud computing
model checking
business models
service providers
computing resources
response time
business process
conceptual model
data center