Publish In
International Journal of Advances in Computer Science and Cloud Computing (IJACSCC)-IJACSCC
Journal Home
Volume Issue
Volume-6,Issue-1  ( May, 2018 )
Paper Title
Design The TOSCA of Cloud Resources
Author Name
Snehal V. Raut, H. R. Deshmukh
M E. Scholar, Professor & Hod, Department of Computer Science, Dr. Rajendra Gode Institute of Technology and Research, Amravati, India
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. [4] 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.
  View Paper