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

10/02/2011 - 28/02/2013

project image

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.

An Approach to Modelling and Evolution of Service Architecture and its Reliability in Clouds is a Research Councils project funded by RSE. Carried out in collaboration with and others. For further information please refer to .
[Read More]

Related Projects

  • Towards Green, Sustainable and Personalisable E-Business Services
    The project will advance the current state of art of e-business and cloud computing by developing a novel approach to cloud-based e-business service evolution and personalisation. We'll seek further funding from the research councils and EU calls based on the partnership.
  • Context-Active Resilience in Cyber Physical systems (CAR)
    Context-active resilience is a novel concept of CPS resilience proposed in this action, which emphasises active and even proactive response to the dynamic state of CPS and its users in real-time. CAR Patterns will be identified via the empirical analysis of practical CPS systems, and specified with...
  • A Semantic-Driven Cloud Migration Framework
    Cloud computing is a fast emerging ICT technology to achieving an innovative and sustainable digital economy. It is expected to be a dominating model and technology of the ICT sector for the next 15 years. In the current practice, the migration of existing software to cloud(s) and the remigration...
  • Plansafe Inspection System
    This is a follow-on innovation voucher project to further develop a software system which will fully document Statutory Examinations of lifting, pressure and LEV equipment. The solution will involve a bespoke, mobile software application to support inspectors in the field, and a web interface to...
  • The Extractive Components of UK Hardwood
next prev

Areas of Expertise link icon

  • Software Systems
    The institute's expertise in software engineering encompasses the entire development lifecycle, and we focus on developing the approaches and tools to improve the engineering process of both emerging and widely used software systems.
next prev

Project Team

Xiaodong Liu
+44 131 455 2747

Associated Publications

Jaroucheh, Z., Liu, X., Smith, S., Zhao, H. (2014). A Unified Platform for the Dynamic Evolution of Context-aware Highly Agile Services. In: (Ed.) Encyclopedia of Information Science and Technology, , () (3rd ed.). (pp. ). : . IGI Global Publishing.

Greenwell, R., Liu, X., Chalmers, K. (2013). Pricing Intelligence as a Service for Cloud Computing. In: (Ed.) Proceedings of 5th IEEE International Conference on Cloud Computing Technology and Science (CloudCom'13), , () ( ed.). (pp. ). : . IEEE Computer Society.

Jaroucheh, Z., Liu, X., Smith, S. (2012). A Unified Approach for the Dynamic Evolution of Context-aware Services. In: (Ed.) Proceedings of International Conference on Innovations in Computers, Information and Communication - ICICIC 2012, , () ( ed.). (pp. ). India: . PSG Tech.

Yang, H., Liu, X. (2012). Software Reuse in the Emerging Cloud Computing Era ( ed.). Pennsylvania, USA: . IGI Global Publishing.

Zhao, H., Sun, J., Liu, X. (2012). A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL. In: (Ed.) Proceedings of IEEE Asia-Pacific Services Computing Conference, , () ( ed.). (pp. ). Guilin, China: . .

Zhao, H., Liu, X. (2012). Dynamic Evolution of Service Architecture in Mobile Cloud Applications. In: (Ed.) prcoeedings of the 2nd internation conference of Cloud Computing and Services Science (CLOSER'12), , () ( ed.). (pp. ). : . INSTICC.

See all publications