Une approche formelle pour la composition des services web

Les services web sont devenus très utilisés notamment par les entreprises pour rendre accessible leurs métiers et leurs données via le Web. L'objectif principal de ce travail est de proposer une approche formelle pour la modélisation d'une composition de Services Web et du langage WS-BPEL en particulier. Ce langage est l'un des standards les plus populaires pour l'orchestration de services Web.

Autorentext

Meftah Mohamed Charaf Eddine a obtenu son doctorat en informatique de l'Université de Biskra en 2016. Actuellement est un Maître de conférence au département de l'informatique à l'université d'EL-Oued . Son intérêt de recherche comprend : le Génie logiciel, les Services Web, les Approches Formelles et les Systèmes Multi-Agents.