This PhD is a collaboration between : the Laboratory of Computer Science's Research of Bordeaux (LABRI) -France and the Research Unit on Development and Control of Distributed Applications (ReDCAD).