An auction platform and multi-agent application build on top of JADE, Jason, 2APL and 2OPL