Passive Conformance Testing of Service Choreographies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Passive Conformance Testing of Service Choreographies

Fatiha Zaïdi


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
20 View
16 Download



Gmail Facebook Twitter LinkedIn More