Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions

  title={Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions},
  author={Manuel Palomo-Duarte and Antonio Garc{\'i}a-Dom{\'i}nguez and Inmaculada Medina-Bulo},
  journal={2008 Sixth European Conference on Web Services},
Web Services composition languages, 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 techniques, due to the inclusion of specific instructions for concurrency, fault and compensation handling, dynamic service discovery and invocation, etc. Dynamic likely invariant generation has been successfully used to assist white-box testing of traditional imperative programs. We have implemented… CONTINUE READING


Publications referenced by this paper.

El reto de los servicios web para el software libre

  • J. J. Domínguez Jiménez, A. Estero Botaro, I. Medina Bulo, M. Palomo Duarte, F. Palomo Lozano
  • In Proceedings of the FLOSS International…
  • 2007
1 Excerpt

Topic overview: Service-oriented architecture

  • R. Heffner, L. Fulton
  • Forrester Research,
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…