Maude Manouvrier

Statut actuel : Maître de Conférences en Informatique à l'Université Paris-Dauphine
 

Formation
 

Fonctions assurees

Fonctions assurées à l'Université Paris-Dauphine - PSL
 

Activités de recherche

Mots-clés

Microservices, Composition de services Web transactionnels, base de données, structure d'index, données images, similarité d'images

Collaborations scientifiques

• Depuis 1996 : Membre du LAMSADE


• De 1998 à 2003 : Participation à une coopération internationale CNRS-CONICIT (accords N° 5485, 7202, 8680 et 10058) avec l'équipe de Marta Rukoz, professeur à l'Université Centrale du Venezuela, sur les bases de données d'images.


• En 2003 : Participation à l'Action Spécifique "Données multimédia : interrogation et stockage" du STIC-RTP9, dirigée par Catherine Berrut (CLIPS-IMAG, Grenoble).


• De 2003 à 2005 : Participation à l'Action Concertée Incitative (ACI) "Masses de données", "Contrôle de l'acquisition de données temporelles massives, stockage et modèles dynamiques" (CADDY), dirigée par Florian De Vuyst (Laboratoire MAS - Ecole Centrale de Paris)


• De 2006 à 2010 : Membre du Programme Pluri-Formations (PPF) Wisdom, dirigée par Michel Scholl (CEDRIC-CNAM)


• De 2007 à 2010 : Membre de l'ANR MDCO DISCO - Distributed and Search Indexing by COntent, dirigée par Philippe Rigaux (LAMSADE)


• De 2009 à 2011 : Participation à une coopération internationale CNRS-CONICIT (accords N° 22782, 113080 et 145693) avec l'équipe de Yudith Cardinale, professeur à l'Université Simon Bolivar au Venezuela, sur "le registre, la découverte, la correspondance, la composition, l'évaluation et l'exécution de Services Web".

• Co-Encadrement de stages de Master Recherche

• avril - sept. 1998 : Technique d'indexation de l'historique des données - Adil Bezzar
• avril - sept. 2001 : Recherche des différences entre images similaires - Afef Bahri
• avril - sept. 2002 : Indexation d'images - application à l'imagerie médicale - Yosr Naija
• avril - sept. 2005 - Indexation multi-niveau pour la recherche gobale et partielles d'images par le contenu - Lotfi Bejaoui
• avril - sept. 2007 - Prise en compte des relations spatiales entre objets dans les images - Mohamed Kechaou - stage co-encadré avec Valérie Brunet-Gouet (CEDRIC-CNAM) et Marta Rukoz dans le cadre du PPF Wisdom
• avril - sept. 2008 - Recherche par similarité dans les bases d'images symboliques - Hoang Nguyen Vu - stage co-encadré avec Valérie Brunet-Gouet (CEDRIC-CNAM) et Marta Rukoz dans le cadre du PPF Wisdom
• avril - sept. 2009 - Composition et exécution fiable de services Web transactionnels - Jean-Sylvain Bucumi - stage co-encadré avec Joyce El Haddad et Marta Rukoz (LAMSADE)
• avril - sept. 2011 - Expression de la composition de Services Web Transactionnels sous la forme d'un programme linéaire en variable 0-1 - Imen Megdiche, stage co-encadré avec Virginie Gabrel et Cécile Murat (LAMSADE) dans le cadre de l'Action de Recherche Fondamentale en Recherche Opérationelle du GDR RO

• Co-Encadrement de thèse de doctorat

• De oct. 2008 à déc. 2011 - Prise en compte des relations spatiales contextuelles dans la recherche d'images par contenu visuel - Hoang Nguyen Vu - thèse co-encadré avec Valérie Brunet-Gouet (CEDRIC-CNAM) et Marta Rukoz dans le cadre du PPF Wisdom - Partie des travaux publiées dans [HGB+10].
• De oct. 2012 à déc. 2015 - An approach for Self-healing Transactional Composite Services - Rafael Angarita - thèse co-encadré avec Marta Rukoz - Partie des travaux publiées dans [AMR14], [AMR15] et [AMRC16].
• Depuis 2012 à déc. 2017 - Recherche agrégée de données et services - Mohamed Lamine Mouhoub - thèse co-encadré avec Daniéla Grigori - Partie des travaux publiées dans [MGM14] et dans [MGM15].

Un service Web peut être vu comme un logiciel pouvant dynamiquement être découvert et invoqué à travers le Web. Avec la prolifération des technologies en commerce électronique, les services Web sont devenus de plus en plus populaires et incontournables. Ces services peuvent offrir aussi bien de "simples" accès en lecture/écriture à des données et/ou des documents que des fonctionnalités plus complexes telles que la planification d'un voyage. La composition de service permet de regrouper au sein d'un "tout" cohérent des invocations à différents services qui peuvent être concurrents (i.e. toucher aux mêmes données). De plus, il arrive très fréquemment que de nombreux services répondent à un même ensemble de besoins fonctionnels : pour réaliser la réservation d'un vol, un client peut choisir plusieurs compagnies aériennes. Ces services se distinguent les uns des autres par leurs propriétés transactionnelles et par leurs propriétés non fonctionnelles, comme les critères de qualités de service (réputation, fiabilité, durée d'exécution etc.). La composition automatique de ces services utilise la planification, qui génère plusieurs scénarios (ex. plan d'exécution) possibles. Afin d'évaluer la qualité globale de la composition, il convient d'agréger les propriétés transactionnelles ainsi que les différentes fonctions de qualité. Cependant, chaque utilisateur possède des préférences transactionnelles différentes (ex. possibilité de compensation). Il est intéressant donc de personnaliser les solutions, afin de fournir des résultats plus adaptés aux besoins des utilisateurs. Ce projet a débuté en juillet 2006 en collaboration avec Marta Rukoz et Joyce El Haddad du LAMSADE. Les premières propositions de notre travail ont été présentées dans [EHM+07], [EHG+08] et [EHM+10] . Le premier article présente un protocole de contrôle de la concurrence pour la composition de services Web. Le deuxième article présente un mécanisme de sélection de services Web permettant de prendre en compte les besoins des utilisateurs exprimés à la fois en termes de propriétés transactionnelles et de qualité de service. Le troisème article est une version étendue du deuxième.
Ce projet s'est par la suite poursui dans le cadre d'une coopération Franco-Venezuelienne CNRS-FONACIT avec l'équipe de Yudith Cardinale de l'Universidad Simón Bolívar (USB). Nous avons notamment proposé, dans le cadre de cette collaboration, un formalisme basé sur les réseaux de Petri Colorés et un algorithme de sélection automatique de Services Web permettant de satisfaire les préférences utilisateurs lorsqu'elle sont présentées sous la forme d'attributs d'entrée/sortie. Ce travail est présenté dans [CEH+10, CEH+11a]. Un autre algorithme est présenté dans [BCV+10]. Deux articles état de l'art [CEH+11b] et [CEH+13] ont également été rédigés. Nos travaux s'orientent actuellement sur la mesure de l'atomicité de l'exécution fiable de services [CEH16, CEH19].
En 2010, nous avons également orienté nos travaux vers l'application de méthodes de recherche opérationnelle (RO) à la composition de services Web transactionnels, en collaboration avec Virginie Gabrel et Cécile Murat, chercheurs en RO du LAMSADE. Ce projet a été sélectionné en 2010 comme "Action de Recherche Fondamentale en Recherche Opérationnelle" du GDR RO, en collaboration avec V. Mousseau, W. Ouerdane (Laboratoire de Génie Industriel - ECP) et L. Mokdad (LACL - Univ. de Créteil). Un premier travail de Master 2 sur "l'expression de la composition de Services Web Transactionnels sous la forme d'un programme linéaire en variable 0-1" a été réalisé en 2011 (stage d'Imen Megdiche) et a donné lieu à la publication [GMM+12]. Ce travail s'est poursuivi par l'étude de la complexité théorique des modèles de composition de services web [GMM13, GMM15, GMM16] et par la proposition de nouveaux modèles [GMM14]. Dans le cadre du travail de thèse de Rafael Angarita, que j'ai co-encadré avec Marta Rukoz, professeur au LAMSADE, nous avons également proposé une architecture pour la sélection de services basée sur un système collaboratif [AMR15] et pour l'execution fiable autocorrective de services [AMR14] et [AMRC16].
De 2012 à 2017, j'ai co-encadré avec Daniela Grigori, professeur au LAMSADE, le travail de thèse de Mohamed Lamine Mouhoub sur la "Recherche agrégée de données et services". Mohamed Lamine propose, à partir d'une requête initiale en SPARQL sur des données liées (linked data), d'étendre le résultat de la requête de l'utilisateur en lui proposant des services dont l'exécution permet de compléter les données obtenues par la requête initiale. Son approche permet de récrire la requête SPARQL sur les données pour la transformer en requêtes SPARQL sur les services. Ce travail a donné récemment lieu à une première publication [MGM14] dans une conférence internationale et a été donné lieu à une démonstration [MGM15].
Dernièrement, nous avons travaillé avec Cesare Pautasso sur la gestion de la persistance et des l'intégrité référentielle dans les microservices [MPR20].

Bases de données Images (travaux de recherche antérieurs)

Les applications médicales ou géographiques utilisent de plus en plus d'images numériques qui sont très volumineuses (plusieurs Méga ou Giga octets), ce qui pose des problèmes de stockage dans des bases de données, d'indexation, d'interrogation et de présentation des résultats de requêtes. Certaines de ces applications, et notamment les ateliers de traitement d'images ou les applications d'imagerie médicale, sont amenées à générer, gérer et stocker des images similaires ou peu différentes. Deux images sont considérées comme similaires si leur distance tend vers zéro, la distance étant calculée à l'aide d'une métrique basée sur certaines caractéristiques des images (la couleur, la texture etc.). Les applications gérant des images similaires doivent permettre, en plus du stockage et de l'affichage, de retrouver, modifier, et comparer ces images. Aussi, des outils efficaces doivent-ils être développés pour stocker et gérer ces images. En réponse à ces besoins, nous (Geneviève Jomier, Marta Rukoz et moi-même) avons proposé une structure appelée l'Arbre Quaternaire Générique [JMR99, JMR+99, JMR00]. Cette structure permet non seulement d'appliquer des traitements classiques d'images à n'importe quelle image stockée dans la base mais aussi d'effectuer des opérations impliquant plusieurs images ou des régions homologues dans plusieurs images. Une comparaison de l'Arbre Quaternaire Générique et d'autres structures basées sur les arbres quaternaires est présentée dans [MRJ02]. Une définition générale de distance de similarité entre images organisées en arbres quaternaires est présenté dans [RMJ02,MRJ05b,RMJ06]. Le fait que l'Arbre Quaternaire Générique optimise le stockage d'images similaires nous a amené à nous intéresser à des applications spécifiques, telles que les Systèmes d'Information Géographiques ou l'Imagerie Médicale, où un grand nombre d'images similaires est géré. Une structure d'indexation pour la recherche d'images similaires est en particulier présentée dans [JMO+04, JMO+05] et un état de l'art sur l'utilisation de l'arbre quaternaire dans le domaine des images apparaît dans [MRJ05]. Dans les applications telles que les SIG ou l'imagerie médicale, les techniques classiques de recherche d'images par le contenu sont intéressantes mais n'épuisent pas les besoins des utilisateurs. En effet, certaines applications nécessitent de mettre en évidence l'évolution spatiale d'un élément ou d'une zone dans un ensemble ou une séquence d'images similaires. Caractériser des différences entre images ou l'évolution d'éléments d'image permet de faire de prévisions ou de retrouver des évolutions similaires. Par exemple, après le re-cadrage et la segmentation d'images médicales de scanner d'un organe d'un même patient, il peut être intéressant de pouvoir suivre l'évolution d'une forme représentant une tumeur, de comparer cette évolution avec celle d'autres patients ou de visualiser les différences entre plusieurs évolutions connues de la maladie. Une séquence d'images pouvant être vue comme une séquence temporelle, nous nous sommes intéré à la recherche et à l'interrogation des séries spatio-temporelles [BMO+06], dans le cadre de l'ACI "Masses de Données" CADDY . Dans le cadre du PPF wisdom et en collaboration avec Nguyen Vu Hoàng (doctorant au LAMSADE) et Valerie Gouet (CNAM), nos recherches se sont orientées vers la prise en compte des relations spatiales entre objets dans les images [GBM+08, HGB+10].

Publications scientifiques

Cliquer ici pour obtenir la liste référencée par DBLP

Cliquer ici pour obtenir mon profile Google Scholar

Publications dans des revues nationales et internationales avec comité de sélection

• Y. Cardinale, El Haddad J., Manouvrier M. and Rukoz M., Fuzzy ACID properties for self-adaptive composite cloud services execution..
  Concurrency and Computation: Practice and Experience, Volume 31, 2019 (rang A ERA 2010)