Cloud#: A Specification Language for Modeling Cloud

We present a specification language Cloud# for modeling the internal organisation of cloud. By reasoning about cloud models, clients understand more on how services are delivered inside cloud. In this sense, cloud models make cloud services more transparent to clients. The transparency of cloud services are expected to increase the confidence of clients to move their business-critical applications to cloud. The expressiveness of Cloud# is evaluated by giving four cloud models, which demonstrate basic features of cloud computing, such as resource virtualization and air scheduling. We describe an application of Cloud# by building an architecture, in which Cloud# models are combined with remote attestation to deliver trusted services.