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: (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.
Jaroucheh, Z., Liu, X., Smith, S., Zhao, H. (2011). Lightweight Software Product Line Based Privacy Protection Scheme for Pervasive Applications . In: (Ed.) Proceedings of the 35th IEEE COMPSAC, , () ( ed.). (pp. ). Munich, Germany: . IEEE Computer Society.
Liu, X., Li, Y. (2011). Advanced Design Approach to Emerging Software Systems - Principles, Methodologies and Tools ( ed.). : . IGI Global Publishing.See all publications