Design the Tosca of Cloud Resources
With the advent of Cloud Computing, organizations are increasingly migrating their information and communication technology (ICT) resources to the cloud. Cloud computing is driving formidable change in the technology industry and transforming how to do business in around the world.  Using TOSCA, the cloud providers are able to define the interoperable description of services and their relationships, and to enable the portability and automated management across cloud platforms and infrastructures. However the verification of the cloud orchestration design with TOSCA is still crucial to ensure and alert when the safety properties of the cloud design are violated. In this paper, to proposed the formal verification of cloud resources design and also to describe the all the cloud resources.