ICWE 2009: Enhancing WS-BPEL Dynamic Invariant Generation using XML Schema and XPath Information


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.

BibTeX entry

  author    = {Manuel {Palomo-Duarte} and
               Antonio {Garc\'{\i}a-Dom\'{\i}nguez} and
               Inmaculada {Medina-Bulo}},
  title     = {Enhancing WS-BPEL Dynamic Invariant Generation Using XML
               Schema and XPath Information},
  booktitle = {ICWE},
  year      = {2009},
  pages     = {469-472},
  ee        = {http://dx.doi.org/10.1007/978-3-642-02818-2_40},
  crossref  = {DBLP:conf/icwe/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}

  editor    = {Martin Gaedke and
               Michael Grossniklaus and
               Oscar D\'{\i}az},
  title     = {Web Engineering, 9th International Conference, ICWE 2009,
               San Sebasti{\'a}n, Spain, June 24-26, 2009, Proceedings},
  booktitle = {ICWE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5648},
  year      = {2009},
  isbn      = {978-3-642-02817-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-02818-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}

icwe-takuan.pdf (289 KB) Antonio García Domínguez, 10/27/2010 11:18 AM