Skip to Main content Skip to Navigation
Reports

Towards Verification and Validation of Choreographies

Abstract : This technical report presents a study about software tools and approaches for testing web service compositions. Our goals consist on understanding the current scenario of Verification and Validation (V&V) activities (focusing on automated tests) in the SOA context. We also present a prototype we developed to illustrate different types of automated test case scripts for testing web service choreographies.
Document type :
Reports
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/inria-00567394
Contributor : Felipe Besson <>
Submitted on : Monday, February 21, 2011 - 10:33:47 AM
Last modification on : Friday, September 16, 2016 - 3:14:15 PM
Long-term archiving on: : Tuesday, November 6, 2012 - 2:30:53 PM

File

tech-report-vv_2010_v1.2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00567394, version 1

Collections

Citation

Felipe M. Besson, Pedro M.B. Leal, Fabio Kon. Towards Verification and Validation of Choreographies. [Research Report] 2011, pp.27. ⟨inria-00567394⟩

Share

Metrics

Record views

190

Files downloads

358