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

@article{PalomoDuarte2008TakuanAD,
  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},
  year={2008},
  pages={63-72}
}
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

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

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…