MAGDA: a software environment for Mobile Agent Distribuited Applications