En bref ...

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

Chercheur au
LRI UMR 8623 CNRS lab.,
ForTesSE team
Tel: +33 1 69 15 64 20
@ : zaidi 'at' lri.fr

Je m'intéresse à la validation formelle de la composition de services Web centralisée et décentralisée. 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. J'ai été coordinatrice d'un projet ANR qui s'attaquait à la probématique de la composition à un orchestrateur. Plus d'informations peuvent être trouvées en suivant le lien pour le projet WebMov. Actuellement, je travaille sur le test par des approches de test dites passives de la chorégraphie de services Web. Mes activités de recherche 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 travaille é sur le model-cehcking de protocoles.


Sélection de publications

depuis 2006
  • Huu Nghia Nguyen, P. Poizat and F. Zaïdi. Passive Conformance Testing of Service Choreographies In 27th ACM Symposium on Applied Computing (SAC 2012), To appear, Trento, Italy, 2012. [ bib ]
  • L. Bentakouk, P. Poizat and F. Zaïdi. Checking The Behaviroal Conformance of Web Services with Symbolic Testing and an SMT Solver. In Test and Proof conference, TAP, 35-50, Zurich, 2011. [ bib ]
  • A. Cavalli, M. Lallali, S. Maag, G. Morales, and F. Zaidi. In Emergent Web Intelligence: Advanced Semantic Technologies, series: Advanced Information and Knowledge Processing, chapter Modeling and Testing of Web Based Systems. Springer Verlag, ISBN: 978-1-84996-076-2, 355-392, Avril 2010 [ bib ]
  • 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 ]