Internship proposals

Postdoc Supervision

PhD Students Supervision

PhD. Committee

MS. Thesis Supervision / MS. Internship Supervision

Student projects and internships

I used to supervise lots of students projects and interships each year. Information about projects and internships can be obtained by emailing me.

Safa Hachani Thesis (April 2013)

Titre : ASAP : Approche orientée Services pour un support Agile et flexible des Processus de conception de produit dans les systèmes PLM
Résumé :
La dynamique de l'offre et de la demande ainsi que et le raccourcissement des cycles de vie de produits manufacturiers obligent les entreprises industrielles à se doter de processus de développement produit dynamiques et agiles. Nos travaux se positionnement sur le support informatisé de ces processus de développement. L'objectif d'un support informatisé est d'accélérer le processus en automatisant la notification et la diffusion. Il permet également de garder trace des opérations et décisions effectuées et d'accroitre la standardisation des processus. Face à la rigidité des solutions actuellement proposées pour gérer les processus (outils workflow) vis-à-vis des modifications survenant dans le processus, notre objectif est de proposer une solution permettant de modifier un processus en cours d'exécution sans devoir le redéfinir et le ré-exécuter dès le début. Pour y parvenir, nous avons proposé une approche inspirée des architectures orientées services (SOA). Ces architectures permettent de définir des applications modulaires, en utilisant des services indépendants. Notre objectif était de décliner une telle architecture exploitée essentiellement pour les systèmes logiciels et le Web, au niveau métier de l'entreprise afin de modéliser et d'exécuter de manière flexible des processus de conception par composition de services en s'appuyant sur des langages d'orchestration dynamiques. Le résultat est un catalogue de services à trois niveaux : métier, fonctionnel et logiciels, doté d'un ensemble de mécanismes d'alignement entre les niveaux.
Mots-clé :
Processus de conception, PLM, Approches Orientées Services, MDE, Flexibilité et Agilité.

Nabil Fakhfakh Thesis (June 2012)

Titre : Une approche orientée utilisateur pour la supervision des orchestrations de services
Résumé :
La qualité de service est devenue aujourd'hui une notion incontournable dans le développement des applications logicielles, en particulier dans le cadre des architectures orientées services. Les travaux de cette thèse se focalisent sur la supervision de la qualité de service des applications orientées services, définies sous forme d'orchestrations de services. L'approche de supervision proposée dans ce contexte est générique. Elle repose sur des patrons de flux de controle des orchestrations de services pouvant etre implémentés en intégralité ou en partie par tout langage d'orchestration de services. D'autre part, elle ne pose aucune restriction, ni sur les attributs qualité à surveiller par le système de supervision, ni sur leurs représentations. Cette approche de supervision se distingue des approches existantes par l'exploitation d'un modèle de préférences orienté utilisateur, permettant de représenter fidèlement la satisfaction de ce dernier. Le degré de satisfaction, issu du modèle de préférences, constitue une information de haut niveau représentant la qualité globale de l'orchestration étudiée. Sur la base de ce degré de satisfaction, de nouvelles stratégies de surveillance sont proposées afin de satisfaire les attentes de l'utilisateur. L'élaboration du modèle de préférences exploite la méthode d'aide à la décision multi-critères MACBETH étendue avec l'opérateur d'agrégation de l'intégrale de Choquet 2-additive. Une illustration de l'approche de supervision a été réalisée sur une orchestration de services, représentant un processus industriel dans le domaine du pilotage d'atelier de production. Les travaux de cette thèse ont été réalisés dans le cadre d'un projet R&D regroupant sept éditeurs de progiciels dans le domaine du MES (Manufacturing Execution System).
Mots-clé :
supervision, orchestrations de services, degré de satisfaction, qualité de service, règles d'agrégation de patrons de workflow, méthode d'aide à la décision multicritère, architectures orientées services.

Azadeh Razavizadeh Thesis (October 2010)

Titre : BeeEye : approche et cadre de travail pour la construction des vues architecturales basées sur les points de vue
Résumé :
Une grande partie de l'effort de développement des logiciels de grande taille et de longue durée de vie est consacrée à la maintenance et à l'évolution de ces derniers, et la compréhension de ces logiciels est une nécessité pour laquelle trop peu de propositions ont été faites. Le but de cette thèse est la prise en compte des architectures logicielles comme élément capital pour l'aide à la compréhension et à l'évolution des applications logicielles è objets. Les travaux de recherche des dix dernières années ont montré qu'il était très difficile voire impossible de raisonner sur le code source (niveau concret), tant les détails d'implémentation nuisent à la lisibilité du code, à sa maintenance/évolution. Au contraire, se situer à un plus haut niveau d'abstraction permet d'envisager davantage d'analyses. Nous proposons, dans cette thèse, notre approche BeeEye comme démarche d'ingénierie pour la construction de vues architecturales d'un système logiciel à objets existant. BeeEye utilise et permet à l'utilisateur de définir des points de vue qui peuvent être combinés selon un processus de construction de vues. Les points de vue permettent de modéliser les attentes et souhaits des utilisateurs ou/et la connaissance qu'ils ont (ou l'idée qu'ils se font) a priori du système logiciel étudié. Deux catégories de construction de vues architecturales sont proposées dans le cadre de la thèse : la construction par correspondance et la construction par exploration. L'approche proposée est suffisamment générique pour être utilisée avec tous les systèmes logiciels à objets pour lesquels nous disposons du code source.
Mots-clé :
évolution, compréhension, reconstruction, vue architecturale, point de vue.

Frédéric Pourraz Thesis (December 2007)

Titre : Diapason : une approche formelle et centrée architecture pour la composition évolutive de services Web
Résumé :
Construire un système logiciel à partir de blocs logiciels existants n'est pas une idée nouvelle. Ces blocs sont parfois appelés objets, parfois composants, modules et plus récemment : services. Ces derniers sont aujourd'hui distribués à large échelle sur Internet, on parle alors de services Web. Durant les dix dernières années, beaucoup de travaux ont été dédiés à la modélisation, au développement et au déploiement de systèmes logiciels distribués. Ces systèemes sont supportés par des blocs logiciels fortement couplés et, de fait, difficilement dynamiques et évolutifs. Les architectures orientées service (Web) constituent un paradigme permettant d'organiser et d'utiliser des savoir-faire distribués et dont les caractéristiques principales sont le faible couplage, la flexibilité, l'ouverture, l'hétérogénéité, la mise à l'échelle ou encore la réutilisation. La capacité pour une architecture orientée service d'être agile, c'est-à-dire de pouvoir être modifiée dynamiquement en cours d'exécution, est réellement importante pour faire face aux changements de nature diverse. Cette agilité des architectures orientées service doit être mise en relation avec les activités et processus métier qu'elles sont censées supporter. De plus, les services impliqués dans une architecture restent autonomes et indépendants. Promouvoir des architectures agiles, dynamiquement modifiables, mettre en oeuvre des compositions de services (appelées orchestrations de services) tout en garantissant une certaine qualité de service, constitue un réel challenge. L'approche développée dans le cadre de cette thèse et appelée Diapason, adresse ce challenge. Diapason est une approche formelle, basée sur le pi-calcul et les logiques temporelles ; elle s'inscrit dans le cadre des approches centrées architecture. Diapason offre un langage d'orchestration de services (le langage pi-Diapason) et un langage de description de propriétés (le langage Diapason*) qui permettent de raisonner sur les orchestrations de services et d'effectuer des vérifications de propriétés. Cette approche fournit également une première réponse quant à l'évolution dynamique d'une orchestration de services Web en cours d'exécution. pi-Diapason est formellement défini et basé sur le pi-calcul, de plus il offre une syntaxe spécifique au domaine de l'orchestration de services Web. Ce langage est d'une part exécutable sans aucune ambiguité, grâce à une sémantique opérationnelle formelle, et d'autre part il offre la possibilité de faire évoluer dynamiquement une architecture grâce au concept de mobilité introduit par le pi-calcul. Diapason* fait partie des langages de la classe de la logique temporelle arborescente basée sur actions et permet l'analyse de toute orchestration décrite en pi-Diapason. L'approche Diapason est supportée par un environnement qui regroupe une machine virtuelle interprétant le langage pi-Diapason (fournissant elle aussi des mécanismes pour permettre l'évolution dynamique d'une orchestration tout au long de son exécution) ainsi qu'un vérificateur de propriétés. Diapason permet enfin le déploiement de l'orchestration ainsi décrite et validée, sous la forme d'un service Web.
Mots-clé :
SOA, orchestration, approche centrée architecture, évolution dynamique, vérification, pi-calcul, logique temporelle arborescente, propriétés.