Exposé RGE
Par Sylvain Rampacek le jeudi 19 octobre 2006 à 17h14
Exposé lors de la réunion RGE du 19 Octobre 2006 à Besançon : « Modélisation et vérification d’un ou plusieurs services web ».
Résumé : La présentation se concentre dans un premier temps sur les aspects de modélisation d’un service web disposant d’une description comportementale (dans un langage tel que BPEL). À partir de cette modélisation et grâce à notre relation d’interaction, nous détectons la présence ou non d’ambiguïté dans le comportement du service. En cas de non présence d’ambiguïté, nous fournissons une modélisation d’un client adapté à ce service. Dans un deuxième temps, notre approche consiste à étendre cette méthode de modélisation et nos algorithmes à la vérification de l’interaction d’un ensemble de services web évoluant dans une chorégraphie. Pour cela, nous définissons la notion de partenaire et d’agrégation de ceux ci, dans le but de vérifier cette chorégraphie.
