Auteur / Autrice : | Lucia Acciai |
Direction : | Silvano Dal Zilio, Michele Boreale |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2007 |
Etablissement(s) : | Aix-Marseille 1 en cotutelle avec Università degli Studi di Firenze |
Partenaire(s) de recherche : | autre partenaire : Université de Provence. Section sciences |
Mots clés
Mots clés contrôlés
Résumé
Les Architectures Orientées Service (SOA) et les Services Web sont de plus en plus populaires aujourd'hui. La grande diffusion de standards comme XML, WSDL, WS-BPEL,. . . A permis le développement de nouvelles approches pour la programmation d'applications réparties. Néanmoins, nous nous retrouvons en face d'un décalage néfaste entre la théorie (modèles formels et technique de vérification) et la pratique (programmation). D'un côté, des technologies telle que WSDL peuvent être utilisées pour décrire les interfaces des services, mais ne disent rien de leurs comportements. De l'autre côté, des langages comme WS-BPEL sont orientés vers la description des services, mais sont difficile à analyser formellement. Dans cette thèse, nous cherchons à combler cet écart. Nous considérons certains aspects de base des SOA et proposons des méthodes formelles - basées sur les calculs des processus, les systèmes de types et les équivalences comportementales - pour les étudier. Dans la première partie de la thèse, nous nous concentrons sur le modèle opérationnel des services et sur deux aspects fonctionnels : l'échange de documents XML comme valeur entre services et l'évaluation distribuée de requêtes XML. Dans la seconde partie, nous nous concentrons sur deux aspects non fonctionnels : la disponibilité (chaque invocation de service est suivi par une réponse) et les aspects transactionnels des services