Sylvain Rampacek

Description

WSMod (voir [MR08] et la thèse de Doctorat de Sylvain Rampacek) est un outil de modélisation de services web. Son but est de modéliser (à l’aide de dtLTS ou d’automates temporisés) la partie service (décrite en BPEL) puis d’utiliser les algorithmes de synthèse du client (présentés dans [HMR06] et [HMMR04b]) pour générer le modèle de la partie cliente, en cas de non ambiguïté du service.

Une connexion aux outils CADP (de l’équipe INRIA-VASY) a été présentée lors du Workshop EOMAS08 (voir [MR08]). Cette connexion permet alors de réaliser du model-checking sur le modèle du service obtenu.

Téléchargement

à venir...