Dissertation présentée au Laboratoire d'Analyse et d'Architecture des Systèmes du CNRS en vue de l'obtention du titre de Docteur de l'Université Paul Sabatier de Toulouse, spécialité: Informatique Industrielle