ECOWS 2008: Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions


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.

ASCII citation

[1] M. Palomo-Duarte, A. García-Domínguez, and I. Medina-Bulo, “Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions,” Proceedings of the 6th IEEE European Conference on Web Services, Dublin, Ireland: 2008.

BibTeX entry

 author = {Manuel {Palomo-Duarte} and Antonio {Garc\'{\i}a-Dom\'{\i}nguez} and Inmaculada {Medina-Bulo}},
 title = {{T}akuan: A Dynamic Invariant Generation System for {WS-BPEL} Compositions},
 booktitle = {ECOWS '08: Proceedings of the 2008 Sixth European Conference on Web Services},
 year = {2008},
 isbn = {978-0-7695-3399-5},
 pages = {63--72},
 doi = {},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},

ecows-2008-takuan.pdf (247 KB) Antonio García Domínguez, 03/12/2010 11:42 AM