Takuan: A dynamic invariant generation system for WS-BPEL compositions

Manuel Palonio-Duarte*, Antonio García-Domínguez, Inmaculada Medina-Bulo

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Web Services composition languages, such as the OASIS WS-BPEL 2.0 standard, open a vast new field for programming in the large. But they also present a challenge for traditional white-box testing techniques, due to the inclusion of specific instructions for concurrency, fault and compensation handling, dynamic service discovery and invocation, etc. Dynamic likely invariant generation has been successfully used to assist white-box testing of traditional imperative programs. We have implemented Takuan, a dynamic invariant generation system which infers likely invariants from actual execution logs of a WS-BPEL composition. We describe our experience during its development and show our first results based on the well-known loan example. These promising results point out that, with some refinements, Takuan can become an interesting aid in WS- BPEL composition white-box testing.

Original languageEnglish
Title of host publicationProceedings of the 6th IEEE European Conference on Web Services, ECOWS'08
Pages63-72
Number of pages10
DOIs
Publication statusPublished - 1 Dec 2008
Event6th IEEE European Conference on Web Services, ECOWS'08 - Dublin, Ireland
Duration: 12 Nov 200814 Nov 2008

Conference

Conference6th IEEE European Conference on Web Services, ECOWS'08
CountryIreland
CityDublin
Period12/11/0814/11/08

    Fingerprint

Keywords

  • Dynamic invariant generation
  • Service composition
  • Web services
  • White-box testing
  • WS-BPEL

Cite this

Palonio-Duarte, M., García-Domínguez, A., & Medina-Bulo, I. (2008). Takuan: A dynamic invariant generation system for WS-BPEL compositions. In Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08 (pp. 63-72). [4711650] https://doi.org/10.1109/ECOWS.2008.17