This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2012 IEEE Fifth International Conference on Cloud Computing
A Systematic Framework Enabling Automatic Conflict Detection and Explanation in Cloud Service Selection for Enterprises
Honolulu, HI, USA USA
June 24-June 29
ISBN: 978-1-4673-2892-0
The fast growth of cloud service offerings has attracted more enterprises to migrate their IT applications into cloud. Nonetheless, complex enterprise user requirements, especially interdependent relations across them, raise new challenges of cloud service selection. In addition, a major concern for these enterprises is ensuring compliance with their policies on the use of cloud services. In this paper, we present a systematic framework, based on formal verification and constraint solving techniques, to help enterprises tackle problems when adopting cloud computing. Our framework enables automatic detection of conflicts covering violation of enterprise policies and inconsistency of user requirements, and explanation generation which identifies problematic user requirements. The framework next select automatically cloud services which satisfy all enterprise policies and user requirements (with interdependent relations). We have prototyped and successfully applied our approach to projects which manage heterogeneous cloud infrastructure services for large enterprises.
Index Terms:
Cost accounting,Cloud computing,Programming,Availability,Computer architecture,Systematics,Constraint Programming,Cloud Service Selection,Conflict Detection,Explanation,SMT
Citation:
Chunqing Chen, Shixing Yan, Guopeng Zhao, Bu Sung Lee, Sharad Singhal, "A Systematic Framework Enabling Automatic Conflict Detection and Explanation in Cloud Service Selection for Enterprises," cloud, pp.883-890, 2012 IEEE Fifth International Conference on Cloud Computing, 2012
Usage of this product signifies your acceptance of the Terms of Use.