Coordination Tools for the Development of Agent-based Systems