An Approach to Modelling and Evolution of Service Architecture and its Reliability in Clouds

  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.

  • Start Date:

    10 February 2011

  • End Date:

    28 February 2013

  • Activity Type:

    Externally Funded Research

  • Funder:

    Royal Society of Edinburgh

  • Value:


Project Team