Analysis and Verification of Service Interaction Protocols - A Brief Survey

Gwen Salaün 1
1 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.
Type de document :
Communication dans un congrès
Gwen Salaun and Xiang Fu and Sylvain Halle. 4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB'10), Sep 2010, Antwerp, Belgium. 35, pp.75-86, 2010, Electronic Proceedings in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00539017
Contributeur : Christine Mckinty <>
Soumis le : mardi 23 novembre 2010 - 17:01:50
Dernière modification le : lundi 28 février 2011 - 11:34:45
Document(s) archivé(s) le : jeudi 24 février 2011 - 03:20:33

Fichier

salaun-TAVWEB2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00539017, version 1

Collections

Citation

Gwen Salaün. Analysis and Verification of Service Interaction Protocols - A Brief Survey. Gwen Salaun and Xiang Fu and Sylvain Halle. 4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB'10), Sep 2010, Antwerp, Belgium. 35, pp.75-86, 2010, Electronic Proceedings in Theoretical Computer Science. <inria-00539017>

Partager

Métriques

Consultations de
la notice

269

Téléchargements du document

161