Well-Typed Services Cannot Go Wrong

Diana Allam 1, 2 Rémi Douence 2 Hervé Grall 1, 2 Jean-Claude Royer 1, 2 Mario Südholt 1, 2
2 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Résumé : Les applications orientées services (SOA) sont hautement dynamiques car la con- naissance et la topologie des services évoluent au cours du temps. La découverte dynamique des services est une facilité importante des SOA, sa flexibilité et sa puissance d'utilisation a été récemment accrue par l'introduction d'une notion de sous-typage. Dans un tel contexte des garanties sur la composition des services est un besoin crucial pour le passage à l'échelle. Les systèmes de types sont connus dans le contexte de la programmation pour permettre certaines garanties minimales. Toutefois, les technologies actuelles des services sont très hétérogènes, et aucune proposition n'a vraiment été faite pour un système de type décent. Un tel système de type doit supporter des canaux de première classe, une relation de sous-typage et assurer qu'un message émis ne restera pas un fantôme dans le réseau de communication. Un message fantôme est un message émis qui ne vérifierait pas le contrat minimal pour être reçu par un agent et se trouve donc à demeurer éternellement dans le réseau. Dans cet article nous introduisons un modèle formel pour des services indépendant de leur orchestration et nous définissons un système de type sémantique. Ce modèle avec son système de type assure une propriété de correction : tous les messages émis par un agent pourront être reçus par l'agent destinataire. Nous prouvons également que cette propriété est satisfaite dans des contextes où certains agents ne sont pas fiables et en présence de canaux de communications non sûrs.
Type de document :
Rapport
[Research Report] RR-7899, INRIA. 2012
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00700570
Contributeur : Jean-Claude Royer <>
Soumis le : lundi 2 juillet 2012 - 11:36:20
Dernière modification le : vendredi 22 juin 2018 - 09:29:24
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 20:01:42

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00700570, version 2

Citation

Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. Well-Typed Services Cannot Go Wrong. [Research Report] RR-7899, INRIA. 2012. 〈hal-00700570v2〉

Partager

Métriques

Consultations de la notice

479

Téléchargements de fichiers

306