JADE a FIPA2000 compliant agent development environment