Edinburgh Napier University

  Clouds are a new supplement, consumption, and delivery model for ICT services based on the Internet, and it typically involves over-the-Internet provision of dynamically scalable and often virtualized resources.
The project will contribute to service-oriented architecture and cloud computing research by offering to develop an approach to the modeling, checking and evolution of cloud service architecture (CSA) and its reliability. A formal complete model will be first developed for CSA and its service composition mechanism; based on the CSA model, a formal model for service reliability will be set up. Driven by the above model, methods for service reliability checking, evaluation and follow-on evolution will be researched on. A set of evolution patterns will be proposed. The evolution will be a collaborative and interactive process among all the stakeholders of a cloud. The approach will be applied to real-life applications via case studies and prototypes tools.