Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information

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

*Corresponding author for this work

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

Abstract

The dynamic and asynchronous nature of OASIS WS-BPEL 2.0 standard language for web service composition presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyzes execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composition invariants. Nevertheless, it suffered some performance issues when handling a large number of variables with complex multidimensional content. We present two techniques implemented to automatically alleviate these issues: dynamic analysis of XPath expressions to avoid inferring nonsensical invariants, and discarding invariants enforced by the XML Schema. We present practical results supporting our work and comment the impact and applicability of these techniques beyond WS-BPEL itself.

Original languageEnglish
Title of host publicationWeb Engineering - 9th International Conference, ICWE 2009, Proceedings
PublisherSpringer
Pages469-472
Number of pages4
ISBN (Print)3642028179, 9783642028175
DOIs
Publication statusPublished - 27 Oct 2009
Event9th International Conference on Web Engineering, ICWE 2009 - San Sebastian, Spain
Duration: 24 Jun 200926 Jun 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5648 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International Conference on Web Engineering, ICWE 2009
CountrySpain
CitySan Sebastian
Period24/06/0926/06/09

Fingerprint

WS-BPEL
XPath
XML Schema
Invariant
Chemical analysis
XML
Dynamic analysis
Web services
Engines
Web Service Composition
Testing
Dynamic Analysis
Engine

Keywords

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

Cite this

Palomo-Duarte, M., García-Domínguez, A., & Medina-Bulo, I. (2009). Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information. In Web Engineering - 9th International Conference, ICWE 2009, Proceedings (pp. 469-472). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5648 LNCS). Springer. https://doi.org/10.1007/978-3-642-02818-2_40
Palomo-Duarte, Manuel ; García-Domínguez, Antonio ; Medina-Bulo, Inmaculada. / Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information. Web Engineering - 9th International Conference, ICWE 2009, Proceedings. Springer, 2009. pp. 469-472 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{288bce06bdca46f786e9d9470e07e45b,
title = "Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information",
abstract = "The dynamic and asynchronous nature of OASIS WS-BPEL 2.0 standard language for web service composition presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyzes execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composition invariants. Nevertheless, it suffered some performance issues when handling a large number of variables with complex multidimensional content. We present two techniques implemented to automatically alleviate these issues: dynamic analysis of XPath expressions to avoid inferring nonsensical invariants, and discarding invariants enforced by the XML Schema. We present practical results supporting our work and comment the impact and applicability of these techniques beyond WS-BPEL itself.",
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 = "2009",
month = "10",
day = "27",
doi = "10.1007/978-3-642-02818-2_40",
language = "English",
isbn = "3642028179",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "469--472",
booktitle = "Web Engineering - 9th International Conference, ICWE 2009, Proceedings",
address = "Germany",

}

Palomo-Duarte, M, García-Domínguez, A & Medina-Bulo, I 2009, Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information. in Web Engineering - 9th International Conference, ICWE 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5648 LNCS, Springer, pp. 469-472, 9th International Conference on Web Engineering, ICWE 2009, San Sebastian, Spain, 24/06/09. https://doi.org/10.1007/978-3-642-02818-2_40

Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information. / Palomo-Duarte, Manuel; García-Domínguez, Antonio; Medina-Bulo, Inmaculada.

Web Engineering - 9th International Conference, ICWE 2009, Proceedings. Springer, 2009. p. 469-472 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5648 LNCS).

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

TY - GEN

T1 - Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information

AU - Palomo-Duarte, Manuel

AU - García-Domínguez, Antonio

AU - Medina-Bulo, Inmaculada

PY - 2009/10/27

Y1 - 2009/10/27

N2 - The dynamic and asynchronous nature of OASIS WS-BPEL 2.0 standard language for web service composition presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyzes execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composition invariants. Nevertheless, it suffered some performance issues when handling a large number of variables with complex multidimensional content. We present two techniques implemented to automatically alleviate these issues: dynamic analysis of XPath expressions to avoid inferring nonsensical invariants, and discarding invariants enforced by the XML Schema. We present practical results supporting our work and comment the impact and applicability of these techniques beyond WS-BPEL itself.

AB - The dynamic and asynchronous nature of OASIS WS-BPEL 2.0 standard language for web service composition presents a challenge for traditional white-box testing techniques. Takuan is a tool that can help with this problem. It analyzes execution logs of a WS-BPEL process in a real-world WS-BPEL engine to dynamically generate composition invariants. Nevertheless, it suffered some performance issues when handling a large number of variables with complex multidimensional content. We present two techniques implemented to automatically alleviate these issues: dynamic analysis of XPath expressions to avoid inferring nonsensical invariants, and discarding invariants enforced by the XML Schema. We present practical results supporting our work and comment the impact and applicability of these techniques beyond WS-BPEL itself.

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

UR - https://link.springer.com/chapter/10.1007%2F978-3-642-02818-2_40

U2 - 10.1007/978-3-642-02818-2_40

DO - 10.1007/978-3-642-02818-2_40

M3 - Conference contribution

AN - SCOPUS:70350228803

SN - 3642028179

SN - 9783642028175

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 469

EP - 472

BT - Web Engineering - 9th International Conference, ICWE 2009, Proceedings

PB - Springer

ER -

Palomo-Duarte M, García-Domínguez A, Medina-Bulo I. Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information. In Web Engineering - 9th International Conference, ICWE 2009, Proceedings. Springer. 2009. p. 469-472. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-02818-2_40