Description de la thématique de recherche  de l’équipe

Nos travaux de recherche seront focalisés sur les thématiques suivantes : 

1. Spécification et vérification formelle des systèmes  

• Modélisation et vérification des système distribués;
• proposition et développement de nouvelles approches formelles et de nouveaux formalisme;
• Diagnostique formel des systèmes distribués
• Étudier les différentes approches formelles pour la spécification et la vérification des services Web composites, 
• La proposition d’une approche pour la spécification, la vérification formelle et la mise en œuvre de services Web composés. La composition peut alors être validée par l’intermédiaire de méthodes formelles et notamment le langage de spécification formelle. 

   2. Composition automatique des services web sémantiques 

• Etudier les différentes approches existantes dans le domaine de la composition des services Web,
• Prendre en compte les nouveaux besoins des utilisateurs et des entreprises,
• Décrire la sémantique des données échangées entre services Web d’une manière interprétable par les machines en utilisant la notion de contexte.
• La proposition d’une nouvelle architecture basée agent orienté contexte assurant la composition sémantique des services Web.
• La mise en œuvre et la validation de l’architecture proposée.
• Proposer des modèles et des techniques relatives aux fondements des services afin de simplifier leurs découverte, recommandation et composition dans l’environnement de l’Internet des objets.
• Concevoir et développer des architectures orientées services et sensibles aux contextes dans le domaine d'Internet des objets, le cloud computing, etc.

 Membres de l'équipe