Improving Takuan to analyze a meta-search engine WS-BPEL composition

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

*Corresponding author for this work

Research output: Chapter in Book/Published conference outputConference publication

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 the inclusion of WS-specific instructions presents a challenge for traditional white-box testing techniques. Takuan helps overcome this challenge by implementing an automated workflow which has already generated invariants from the execution logs of simple WS-BPEL compositions, avoiding the usual problems related to modeling impedance that other techniques face. In this work we show how we have extended Takuan with two complementary techniques to analyze more complex compositions with non-scalar variable content despite the limitations of the dynamic invariant generator used, Daikon. We discuss their relative advantages and disadvantages and illustrate them through some of the invariants obtained from a composition which implements a meta-search engine.

Original languageEnglish
Title of host publicationProceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008
Pages109-114
Number of pages6
DOIs
Publication statusPublished - 1 Dec 2008
Event4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008 - Jhongli, Taiwan
Duration: 18 Dec 200819 Dec 2008

Conference

Conference4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008
Country/TerritoryTaiwan
CityJhongli
Period18/12/0819/12/08

Keywords

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

Fingerprint

Dive into the research topics of 'Improving Takuan to analyze a meta-search engine WS-BPEL composition'. Together they form a unique fingerprint.

Cite this