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. (2012). A Unified Approach for the Dynamic Evolution of Context-aware Services. In: Proceedings of International Conference on Innovations in Computers, Information and Communication - ICICIC 2012. India: PSG Tech.
Yang, H., Liu, X. (2012). Software Reuse in the Emerging Cloud Computing Era. 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: Proceedings of IEEE Asia-Pacific Services Computing Conference. Guilin, China.
Zhao, H., Liu, X. (2012). DYNAMIC EVOLUTION OF SERVICE ARCHITECTURE IN MOBILE CLOUD APPLICATIONS. In: prcoeedings of the 2nd internation conference of Cloud Computing and Services Science (CLOSER'12). INSTICC.
Jaroucheh, Z., Liu, X., Smith, S., Zhao, H. (2011). Lightweight Software Product Line Based Privacy Protection Scheme for Pervasive Applications . In: Proceedings of the 35th IEEE COMPSAC. Munich, Germany: IEEE Computer Society.
Liu, X., Li, Y. (2011). Advanced Design Approach to Emerging Software Systems - Principles, Methodologies and Tools. IGI Global Publishing.
See all publications