Soutenance de thèse de Ibrahima FALL

Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Gestion Optimisée de Produits-Modèles de Procédés Logiciels".
qui aura lieu le mercredi 08 février à 10H30 au campus de Jussieu, salle 105
couloir 25/26 - 1er étage,

ainsi qu'au pot qui suivra.

Le jury sera composé de :

Directeur de thèse:
Mme Marie-Pierre GERVAIS, Professeure à l'université Paris X-Nanterre
La Défense

Co-directeur de thèse:
M. Moussa LO, Professeur à l'université Gaston Berger de Saint-Louis

Encadrant de thèse:
M. Reda BENDRAOU: McF à l'université Paris VI - P. & M. Curie

Rapporteurs:
Mme Mireille BLAY-FORNARINO, Professeure à l'université de Nice -
Sophia Antipolis
M. Bernard COULETTE, Professeur à l'université de Toulouse II – Le Mirail

Examinateurs:
M. Fabrice KORDON, Professeur à l'université Paris VI - P. & M. Curie
M. Xavier BLANC, Professeur à l'université Bordeaux I

Résumé :
Actuellement, la communauté des procédés logiciels ne porte que peu
d'attention aux artefacts de ces procédés. Leur gestion est minimale.
Or l'introduction des principes de l'ingénierie des modèles dans les
procédés logiciels modifie en profondeur la nature de ces artefacts et
augmente leur complexité: ils deviennent des modèles (que nous
appelons produits-modèles). La prise en compte de cette complexité est
alors impérative en vue d'optimiser la gestion de ces produits-modèles.

Dans cette thèse, nous posons le problème de la modélisation des
relations entre produits-modèles en analysant l'importance de ces
relations dans la gestion de l'évolution des produits-modèles lors de
l'exécution du procédé qui les utilise et/ou les produit. Ainsi nous
illustrons qu'exploiter les modèles de relations à l'exécution du
procédé optimise la gestion des produits-modèles en matière de
cohérence, de synchronisation ou encore de flexibilité dans la
granularité des produits-modèles.
Notre contribution est composée de deux éléments majeurs qui sont
relatifs à la modélisation puis à l'exécution de procédés.
Du point de vue de la modélisation des procédés, nous avons proposé un
méta-modèle permettant de structurer les éléments relatifs à la
spécification des produits-modèles. Ce méta-modèle contient les
concepts nécessaires à la définition des relations entre ces éléments
et d'associer à ces relations les caractéristiques nécessaires à une
meilleure gestion des produits-modèles à l'exécution des procédés
modélisés. Notre approche supporte les relations d'inclusion (Nest) et
de partage d'éléments (Overlap) entre deux ou plusieurs
produits-modèles d'un procédé en exécution.

Du point de vue de l'exécution des procédés, dans le but de structurer
les entités logiques à travers lesquelles sont gérés les
produits-modèles d'un procédé modélisés avec les concepts du précédent
méta-modèle, nous avons proposé un autre méta-modèle. Ce dernier
contient les concepts nécessaires à la représentation des objets de
procédé correspondants aux produits-modèles ainsi qu'aux relations, en
conformité avec le premier méta-modèle.

Dans le but d'assurer une correspondance entre les concepts des deux
méta-modèles ainsi que de permettre une exploitation automatique des
concepts de modélisation à travers ceux d'exécution, la proposition
comprend également des règles de transformation entre ces différents
concepts.

Les apports de notre approche sont relatifs à la gestion des
produits-modèles de procédés en exécution. Il s'agit d'une cohérence
relationnelle systématique, d'une synchronisation également
systématique, d'une construction assistée, d'une flexibilité du point
de vue de la granularité, et d'une intégrité ou cohérence sémantique
de ces produits-modèles.

Nous avons également conçu et réalisé un prototype qui simule un
environnement de modélisation et d'exécution de procédés selon notre
approche.

Mots clés:

Procédés Logiciels, Produits de Procédés, Modélisation de Procédés,
Exécution de Procédés, Nest, Overlap.