Soutenance de thèse Alix Mougenot

Bonjour à toutes et à tous.

Après trois ans parmi vous,
le jour est enfin venu pour moi de venir polluer vos boites au lettres
avec mon mail d'invitation !
Je vous annonce donc, non sans émotions, la venue de ma soutenance de
thèse.

Intitulé: Praxis: Detection des incoherences dans les modeles repartis.
(On parlera de génie logiciel et un peu de systèmes répartis)

Date: 19/11 à 10h.
Lieu: Jussieu, salle 25/26 105.

Orateur: Alix Mougenot: http://www.mendeley.com/profiles/alix-mougenot/

Résumé:
Les projets logiciels de taille industriels sont
développés par centaines de développeurs travaillant sur des centaines
de modèles de différents types (e.g. SysML, UML, Petri nets, workflow
and business process). De plus, les procédés de développement centrés
sur la modélisation demandent de plus en plus d'itérations avant
l'obtention des modèles correctement implémentés. La complexité
intrinsèque de ces modèles couplés au fait qu'ils soient souvent
maintenus par des développeurs différents est une source d'incohérences.
Le problème étant que même la plus petite des incohérences peut
engendrer l'échec de la modélisation. Sous de telles conditions, la
détection des incohérences, qui consiste à analyser les modèles pour
trouver ces configurations non souhaitables, gagne une importance toute
particulière.

Cette thèse traite le problème de la détection des incohérences lors du
développement collaboratif des modèles. Notre approche, Praxis,
représente les modèles par une séquence d'actions unitaires le
construisant. Cette représentation séquentielle peux représenter de
façon uniforme n'importe quelle instance de métamodèle, permettant de
détecter des incohérences entre des modèles de différentes natures.
Praxis exploite cette représentation pour rendre la détection
d'incohérence incrémentale. Cette détection incrémentale est
suffisamment efficace pour tourner en tache de fond d'un éditeur de
modèle, donnant ainsi un retour instantané au développer du modèle.
Praxis est également à la base d'un protocole pair-à-pair pour l'édition
collaborative de modèles. Ce protocole utilise les actions unitaires de
Praxis pour la communication entre les sites d'édition. Praxis propose
également un détecteur d'incohérence réparti qui utilise le protocole
pair-à-pair. Ce détecteur réparti a pour but de détecter les
incohérences parmi les modèles édités collaborativement.

Les performances de Praxis ont étés validées grâce à une benchmark
basé à la fois sur des données venant d'un cas d'étude et sur des
données provenant d'un générateur de modèles mathématiquement fondé. Les
tests utilisés pour la benchmark utilisent 56 règles représentatives
provenant de la spécification d'UML, ainsi qu'un ensemble de modèles UML
contenant 1 400 modèles de classe. La validation a montré que Praxis
est efficace et peux prendre en charge de très gros modèles.

Rapporteurs: Mireille BLAY-FORNARINO Jacky ESTUBLIER
Membres du jury:
Marie-Pierre GERVAIS
Mireille BLAY-FORNARINO
Xavier BLANC
Jean-Marc JEZEQUEL
Jacky ESTUBLIER
Olivier DEFOUR
Fabrice KORDON

Je profites de ce mail pour remercier tout ceux qui, au labo, ont été là
pendant la thèse. Les encadrants, les collaborateurs, les collègues
d'enseignement, les voisins de bureaux, les administratifs, les admins, et
ceux que j'oublie.

Soyez les bienvenu à la soutenance, mais aussi au pot qui en suis (surtout
au pot).

Alix Mougenot.