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.