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/Published conference outputConference publication


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
Number of pages4
ISBN (Print)3642028179, 9783642028175
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


Conference9th International Conference on Web Engineering, ICWE 2009
CitySan Sebastian


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


Dive into the research topics of 'Enhancing WS-BPEL dynamic invariant generation using xml schema and xpath information'. Together they form a unique fingerprint.

Cite this