JChoc platform



JchocDisSolver: Description and architecture

“JChoc DisSolver” JChoc DisSolver is a Constraint programming platform for distributed constraints reasoning Techniques. Developed by LIMIARF lab from Mohammed V University and SI2M lab from INSEA.

This project has been proposed and supervised by Professors :




El Houssine BOUYAKHF

And developed by PhD Students:


Zakarya ERRAJI



Corresponding author : zakarya.erraji at gmail.com

“JChoc DisSolver” platform is:

  1. Based on JADE and Choco Solver;
  2. Runs Complex agents;
  3. Uses real channels communication;
  4. Solves realistic use problems;
  5. Supports dynamic problems.

“JChoc DisSolver” architecture is motivated by FIPA specifications, it allows the development of multiagent systems and applications conforming to MAS standards. It is implemented in JAVA and provides classes that implement and inherit from JADE and Choco platforms to define the behavior of specific agents.


This platform has five main modules.

  • DCRP (Distributed Constraint Reasoning Protocols): provides distributed constraints protocols as service. This element defines new types of messages and implements the behavior of the agent when receiving and sending a specific type of information (e.g. ABT, AFC-ng, etc.);
  • CS (Choco Solver): provides the ability to address and resolve local CSP sub-problem;
  • DF (Director Facilitator): provides a service of “yellow pages” to the platform;
  • ACC (Agent Communication Channel): manages the communication between agents;
  • AMS (Agent Management System): oversees the registration of agents, their authentication, their access and the use of the system.

These five modules are activated at each time the platform is started.

If you use “JChoc DisSolver”  for your research, you can use the following BibTeX entries to reference it in your publications:

Dynamic JChoc DisSolver

@Inbook{Benelallam2015, author="Benelallam, Imade and Erraji, Zakarya and EL Khattabi, Ghizlane and Bouyakhf, El Houssine",
editor="Duval, B{\'e}atrice and van den Herik, Jaap and Loiseau, Stephane and Filipe, Joaquim",
title="Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments",
bookTitle="Agents and Artificial Intelligence: 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers",
year="2015", publisher="Springer International Publishing",
address="Cham", pages="20--36",
isbn="978-3-319-27947-3", doi="10.1007/978-3-319-27947-3_2",

JChoc DisSolver

author={Imade Benelallam and Zakarya Erraji and Ghizlaneg Elkhattabi and Jaouad Ait Haddou and El Houssine Bouyakhf}, 
title={JChoc DisSolver - Bridging the Gap Between Simulation and Realistic Use},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},