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

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

doi:10.1109/ECOWS.2008.17

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

College of Engineering and Physical Sciences

Research output: Chapter in Book/Published conference output › Conference 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 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 language	English
Title of host publication	Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08
Pages	63-72
Number of pages	10
DOIs	https://doi.org/10.1109/ECOWS.2008.17
Publication status	Published - 1 Dec 2008
Event	6th IEEE European Conference on Web Services, ECOWS'08 - Dublin, Ireland Duration: 12 Nov 2008 → 14 Nov 2008

Conference

Conference	6th IEEE European Conference on Web Services, ECOWS'08
Country/Territory	Ireland
City	Dublin
Period	12/11/08 → 14/11/08

Keywords

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

Access to Document

10.1109/ECOWS.2008.17

Cite this

@inproceedings{089be9ee52cf477291b0ef39cdf96be7,

title = "Takuan: A dynamic invariant generation system for WS-BPEL compositions",

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.",

keywords = "Dynamic invariant generation, Service composition, Web services, White-box testing, WS-BPEL",

author = "Manuel Palonio-Duarte and Antonio Garc{\'i}a-Dom{\'i}nguez and Inmaculada Medina-Bulo",

year = "2008",

month = dec,

day = "1",

doi = "10.1109/ECOWS.2008.17",

language = "English",

isbn = "9780769533995",

pages = "63--72",

booktitle = "Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08",

note = "6th IEEE European Conference on Web Services, ECOWS'08 ; Conference date: 12-11-2008 Through 14-11-2008",

}

TY - GEN

T1 - Takuan

T2 - 6th IEEE European Conference on Web Services, ECOWS'08

AU - Palonio-Duarte, Manuel

AU - García-Domínguez, Antonio

AU - Medina-Bulo, Inmaculada

PY - 2008/12/1

Y1 - 2008/12/1

N2 - 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.

AB - 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.

KW - Dynamic invariant generation

KW - Service composition

KW - Web services

KW - White-box testing

KW - WS-BPEL

UR - http://www.scopus.com/inward/record.url?scp=58449117461&partnerID=8YFLogxK

UR - https://ieeexplore.ieee.org/document/4711650

U2 - 10.1109/ECOWS.2008.17

DO - 10.1109/ECOWS.2008.17

M3 - Conference publication

AN - SCOPUS:58449117461

SN - 9780769533995

SP - 63

EP - 72

BT - Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08

Y2 - 12 November 2008 through 14 November 2008

ER -

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

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this