Formal approach to validated allocation process based on MAS and CP system. - Soltane Merzoug; Souraya Hamida; Okba Kazar (ICSENT, 2018)