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.
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