Passive Conformance Testing of Service Choreographies - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Passive Conformance Testing of Service Choreographies

Fatiha Zaïdi

Résumé

Choreography supports the specification, with a global perspective , of the interactions between the roles played by partners in a collaboration. These roles are the basis for the implementation of the collaboration, by developers and/or software architects, as a set of distributed communicating peers. An issue is to check for the conformance of the implementation with reference to the choreography specification. We address this issue with a passive testing approach. It tackles the peculiarities of choreography implementations through non-intrusiveness, support for black-box peers without source code being available, and both local and global conformance. Several languages have been proposed for choreography. We chose Chor since it is both expressive and abstract enough to suit the requirements of a specification language. Further, it can be seen as an abstraction of the standard Web service choreography language, WS-CDL. In this paper we present both the formal framework of our approach and our tool support for one possible implementation model, Web service choreographies.
Fichier principal
Vignette du fichier
NPZ12a.pdf (480.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01367307 , version 1 (15-09-2016)

Identifiants

Citer

Huu Nghia (hữu Nghĩa) Nguyễn, Pascal Poizat, Fatiha Zaïdi. Passive Conformance Testing of Service Choreographies. 27th ACM Symposium on Applied Computing (SAC), Mar 2012, Riva del Garda, Italy. ⟨10.1145/2245276.2232020⟩. ⟨hal-01367307⟩
25 Consultations
32 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More