Integrated environment for verifying and running distributed components -Extended version ; Un environnement intégré pour la vérification et l’éxécution de composants distribués - Version étendue