Formal approach to validated allocation process based on MAS and CP system

Cloud Computing is a model for enabling on-demand network access to a shared pool of computing resources that can be dynamically allocated and released with minimal effort. However, this task can be complex in highly dynamic environments with various resources to allocate for an increasing number of different users requirements. In this work, we propose Cloud architecture based on a multi-agent and constraint programming (CP), system exhibiting new strategy of allocation resources, with intelligent management of resources. Our approach verified by formal approach to address the dynamic resource allocation. In addition, we validate our proposed Cloud architecture by simulation. Results show that it can properly allocate resources to reduce energy consumption, while satisfying the users demanded QoS.