Toward Formal Modeling and Verification of Resource Provisioning as a Service in Cloud.

Wenbo Zhou Lei Liu Shuai Lü Peng Zhang

Published in: IEEE Access (2019)

Keyphrases

formal methods
web services
colored petri nets
end users
cloud services
model checking
modeling language
protocol specification
data sets
formal models
formal specification
service discovery
formal model
service oriented
service providers
markov chain
management system
mobile devices