ICE-B 2008: An Architecture for Dynamic Invariant Generation in WS-BPEL Web Service Compositions


Web services related technologies (especially web services compositions) play now a key role in e-Business and its future. Languages to compose web services, 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, due to the inclusion of specific instructions for concurrency, fault compensation or dynamic service discovery and invocation. Automatic invariant generation has proved to be a successful white-box testing-based technique to test and improve the quality of traditional imperative programs. This paper proposes a new architecture to create a framework that dynamically generates likely invariants from the execution of web services compositions in WS-BPEL to support white-box testing.

BibTeX entry

  author    = {Manuel {Palomo-Duarte} and Antonio {Garc\'\i{}a-Dom\'\i{}nguez} and Inmaculada {Medina-Bulo}},
  title     = {An Architecture for Dynamic Invariant Generation in {WS-BPEL} Web Service Compositions},
  booktitle = {Proceedings of ICE-B 2008 - International Conference on e-Business},
  year      = 2008,
  address   = {Porto, Portugal},
  month     = jul,
  publisher = {INSTICC Press},
  pages     = {37-44},

ice-b-2008.pdf (143 KB) Antonio García Domínguez, 10/18/2008 12:18 PM