these

UNIVERSIT DE NICE - SOPHIA ANTIPOLIS UFR Sciences cole Doctorale STICTH¨SEpour obtenir le titre deDocteur en Sciencesde l’UniversitØ de Nice - Sophia AntipolisSpØcialitØ : InformatiqueprØsentØe et soutenue parRabØa Ameur-Boulifa quip e d’accueil : OASIS INRIA Sophia-Antipolis - CNRS - I3S - UNSAGØnØration de modŁles comportementaux desapplications rØpartiesThŁse dirigØe par Eric MadelainePrØsentØe publiquement le mercredi 15 dØcembre 2004devant le jury composØ de :PrØsident Jean-Paul Rigault UniversitØ, Nice-Sophia AntipolisRapporteurs : Fran ois Vernadat INSA, ToulouseAlessandro Fantechi UniversitØ de FlorenceExaminateurs : Thomas Jensen IRISA, RennesRadu Mateescu INRIA, Rh ne-Alp esDirecteur de thŁse : Eric Madelaine Sophia-AntipolisGØnØration de modŁlesdes applications rØpartiesThŁse de doctoratRabØa Ameur-BoulifaDØcembre 2004RemerciementsJe tiens à remercier Alessandro Fantechi et Fran ois Vernadat d’avoir acceptØla t che dØlicate d’Œtre rapporteurs, Jean-Paul Rigault, Thomas Jensen et Radu Ma-teescu d’avoir bien voulu m’accorder de leur temps en faisant partie du Jury.Eric Madelaine dont j’ai pu apprØcier durant ces annØes de thŁse les grandes qua-litØs humaines et scienti ques, la disponibilitØ malgrØ des activitØs dØbordantes, illustreparfaitement celles-ci.Je remercie Øgalement tous les membres de mon Øquipe d’accueil (OASIS) avec les-quels j’ai passØ trois annØes riches et agrØables. Je pense particuliŁrement à Isabelle ...