Application Portability Pertaining TOSCA in Cloud Computing Environment

Achieving Application Portability in a cloud computing environment is most demandable in today's scenario. The problem of vendor lock-In issue needs to be handled. There could be two ways of achieving application portability. The first being Intermediation and the other standardization. We have focussed our research on standardization with the help of TOSCA. In this paper, we have discussed all the scenarios, facets and challenges in achieving application portability. We have discussed TOSCA simple profile in YAML common terms, definitions, workflows, etc. The evolution of WS-BPEL from XML has also been discussed in this paper. We have also touched the formal method language PROMELA and tool SPIN for modeling specification and verification of application properties. We have given our model to perform the task of achieving portability of application from one cloud host to another.In this paper, we have taken the example of the online hotel reservation system and discussed its properties.