L'Odyssée des Graphes de Diagrammes de Séquences (MSC-Graphes)

Université Paris 7 - Denis Diderot – UFR d’informatique –
Année 2004
Thèse
pour l’obtention du diplôme de
docteur de l’université Paris 7, spécialité informatique
présentée par
Blaise GENEST
le 29 Novembre 2004
L’Odyssée des Graphes
de Diagrammes de Séquences
(MSC-Graphes)
soutenue publiquement devant le jury suivant :
Paul Gastin Examinateur
Claude Jard Rapporteur
Anca Muscholl Directrice de thèse
Philippe Schnœbelen Président du Jury
P.S. Thiagarajan Rapporteur
Igor Walukiewicz Rapporteur2Remerciements
Je tiens tout d’abord à remercier Anca, bien plus qu’une directrice de
Thèse. Pour ses conseils, sa patience, son enthousiasme. Sa gentillesse aussi.
Tout ce qu’elle m’a appris enfin. Et puis pour les noms imaginatifs et amu
sants des macros et autres labels que personne ne verra jamais dans les
papiers que nous avons écrit (et écrirons) ensemble.
MerciensuiteàPhilippeSchnœbelenpouravoiracceptéd’êtreleprésident
du jury. Cette thèse serait sans doute différente sans ce qu’il m’a appris lors
d’un stage sous sa (co)direction ("ce que tu as fait ne sera pas perdu" avait il
alorsditavecprémonition).MesremerciementsvontégalementàPaulGastin
pouraccepter de participer au jury, maisaussi pour sesexposés fréquents qui
m’ont permis de mieux appréhender les logiques temporelles (concurrentes).
J’aihonteusement recopié danslabibliographie ([DG04])unde sesabstracts,
mais comment faire autrement vu la limpidité de la description?
Je dois aussi beaucoup aux membres de la défunte ARC ...