En bref ...

Maître de conférences
Université Paris-Sud XI

Chercheur au
LRI UMR 8623 CNRS lab.,
ForTesSE team
Tel: +33 1 72 92 59 62
@ : zaidi 'at' lri.fr

Je m'intéresse à la validation formelle de la composition de services Web. Un standard a emergé ces dernières années pour décrire la composition de Web services, il s'agit du langage BPEL (Business Process Engineering Language). Ce language permet de décrire à différents niveaux d'abstration des orchestrations de web services en définissant leur composition. Je suis actuellement coordinatrice d'un projet ANR qui s'attaque à cette problématique. Plus d'informations peuvent être trouvées en suivant le lien pour le projet WebMov. Mes activités de recherche ces dernières annèes concernent ègalement le test à partir de modèle formel, connu sous le nom de model-based testing. J'ai essentiellement travaillé dans le domaine des protocoles de communication. Je m'intéresse à la validation formelle des nouveaux réseaux de communication, les WSON (Wireless Self Organising Network). Ce type de réseau soulève de nouveaux challenges pour les méthodes de vérification formelle.
Je suis la co-directrice du groupe de travail MTV2 au sein du nouveau GDR GPL.


Sélection de publications

depuis 2006

get pdf here

  • M. Lallali, F. Zaidi, A. Cavalli, and I. Hwang. Automatic timed test case generation for web services composition. In IEEE Computer Society Press, editor, The 6th IEEE European Conference on Web Services (ECOWS'08), Dublin, November 2008. 10 pages. [ bib ]
  • M. Lallali, F. Zaidi, and A. Cavalli. Transforming bpel into intermediate format language for web services composition testing. In 4th International Conference on Next Generation Web Services Practices, Seoul, October 2008. IEEE Computer CS. 6 pages. [ bib ]
  • S. Maag, A. Carneiro Viana, and F. Zaïdi. One step forward: Linking wireless self-organising networks validation techniques with formal testing approaches. ACM Computing Surveys, 2008. Submitted, 30 pages. [ bib ]
  • A. Cavalli, M. Lallali, S. Maag, G. Morales, and F. Zaidi. Emergent Web Intelligence, chapter Modeling and Testing of Web Based Systems. Studies in Computational Intelligence. Springer Verlag, 2008. To appear, 39 pages. [ bib ]