Specification of cloud topologies and orchestration using TOSCA: a survey.

Julian Bellendorf Zoltán Ádám Mann

Published in: Computing (2020)

Keyphrases

cloud computing
high level
web services
formal methods
user defined
data sets
formal verification
formal specification
cost effective
distributed systems
search algorithm
technology enhanced learning
learning algorithm
specification language
real time
network topologies
provably correct