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

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

doi:10.1109/SOSE.2008.18

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

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 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 language	English
Title of host publication	Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008
Pages	109-114
Number of pages	6
DOIs	https://doi.org/10.1109/SOSE.2008.18
Publication status	Published - 1 Dec 2008
Event	4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008 - Jhongli, Taiwan Duration: 18 Dec 2008 → 19 Dec 2008

Conference

Conference	4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008
Country/Territory	Taiwan
City	Jhongli
Period	18/12/08 → 19/12/08

Keywords

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

Access to Document

10.1109/SOSE.2008.18

Cite this

@inproceedings{de838e09a6a440a2b13f4693a635ab51,

title = "Improving Takuan to analyze a meta-search engine WS-BPEL composition",

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

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

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

year = "2008",

month = dec,

day = "1",

doi = "10.1109/SOSE.2008.18",

language = "English",

isbn = "9780769534992",

pages = "109--114",

booktitle = "Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008",

note = "4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008 ; Conference date: 18-12-2008 Through 19-12-2008",

}

Palomo-Duarte, M, García-Domínguez, A & Medina-Bulo, I 2008, Improving Takuan to analyze a meta-search engine WS-BPEL composition. in Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008., 4730472, pp. 109-114, 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, Jhongli, Taiwan, 18/12/08. https://doi.org/10.1109/SOSE.2008.18

TY - GEN

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

AU - Palomo-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 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.

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

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=62249201373&partnerID=8YFLogxK

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

U2 - 10.1109/SOSE.2008.18

DO - 10.1109/SOSE.2008.18

M3 - Conference publication

AN - SCOPUS:62249201373

SN - 9780769534992

SP - 109

EP - 114

BT - Proceedings of the 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008

T2 - 4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008

Y2 - 18 December 2008 through 19 December 2008

ER -

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

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this