Thèse de Doctorat
Par Sylvain Rampacek le vendredi 10 novembre 2006 à 14h30
Soutenance
J’ai soutenu publiquement ma thèse de doctorat intitulée « Sémantique, interactions et langages de description des services web complexes », le vendredi 10 novembre 2006 à 14h30, à l’Université de Reims.
Mention : très honorable.
Version électronique :
Résumé
Cette thèse de Doctorat s’articule autour des services web dont le processus métier est décrit en utilisant un langage de description comportementale tel que XLANG ou BPEL. Nous fournissons une méthode, des algorithmes et leurs implémentations permettant de modéliser sous forme de systèmes de transitions temporisées (TIOTS en temps discret et automates temporisés en temps dense) le comportement de ces services web. Pour cela, nous avons fixé une sémantique à l’aide des algèbres de processus temporisés nous permettant de décrire formellement le comportement, en terme d’actions, d’exceptions et d’évènements temporels, de chaque opérateur de ces langages de descriptions comportementales. Ces descriptions sont alors directement traduisibles dans le système de transitions temporisées choisi. Par la suite, grâce à notre relation d’interaction, nous pouvons détecter la non-ambiguïté d’un tel service ainsi modélisé, assurant l’interaction possible avec un client adapté dont nous fournissons alors le modèle. Nous avons également étendu notre approche à la possibilité de vérifier l’interaction des différents partenaires d’une chorégraphie, permettant ainsi de détecter une possible ambiguïté dans cette interaction.
Mots Clés
service web, modèle, comportement, vérification, sémantique, interaction, chorégraphie, TIOTS, automate temporisé, algèbre de processus temporisés.
Composition du jury
– Président du jury
— M. Michael Krajecki, Professeur à l’Université de Reims, CReSTIC
– Rapporteurs
— Mme Hanna Klaudel, Professeure à l’Université d’Evry, IBISC
— M. Fabrice Kordon, Professeur à l’Université Paris 6, LIP6
– Examinateur
— M. B. Jean Fugère, Professeur au Collège Militaire du Canada
– Directeurs
— M. Serge Haddad, Professeur à l’Université Paris Dauphine, LAMSADE
— M. Patrice Moreaux, Professeur à l’Université de Savoie, LISTIC
