AN ARCHITECTURE FOR DYNAMIC INVARIANT GENERATION IN WS-BPEL WEB SERVICE COMPOSITIONS

M. Palomo Duarte, A. Garca Dominguez, I. Medina Bulo

Abstract

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.

References

  1. Baresi, L. and Guinea, S. (2005). Dynamo: Dynamic monitoring of WS-BPEL processes. In Benatallah, B., Casati, F., and Traverso, P., editors, ICSOC, volume 3826, pages 478-483. Lecture Notes in Computer Science, Springer.
  2. Bertolino, A. and Marchetti, E. (2005). A brief essay on software testing. In Thayer, R. H. and Christensen, M., editors, Software Engineering, The Development Process. Wiley-IEEE Computer Society Pr, 3 edition.
  3. Bjørner, N., Browne, A., and Manna, Z. (1997). Automatic generation of invariants and intermediate assertions. Theoretical Computer Science, 173(1):49-87.
  4. Bucchiarone, A., Melgratti, H., and Severoni, F. (2007). Testing service composition. In ASSE: Proceedings of the 8th Argentine Symposium on Software Engineering.
  5. Curbera, F., Khalaf, R., Mukhi, N., Tai, S., and Weerawarana, S. (2003). The Next Step in Web Services. Communications of The ACM, 46(10):29-34.
  6. Domnguez Jimnez, J. J., Estero Botaro, A., Medina Bulo, I., Palomo Duarte, M., and Palomo Lozano, F. (2007). El reto de los servicios web para el software libre. In Proceedings of the FLOSS International Conference 2007, pages 117-132, Jerez de la Frontera. Servicio de Publicaciones de la Universidad de Cdiz.
  7. Ernst, M. D., Cockrell, J., Griswold, W. G., and Notkin, D. (2001). Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123.
  8. Gupta, N. (2003). Generating test data for dynamically discovering likely program invariants. In ICSE, Workshop on Dynamic Analysis.
  9. Heffner, R. and Fulton, L. (2007). Topic overview: Serviceoriented architecture. Forrester Research, Inc.
  10. OASIS (2003). OASIS members form web services business process execution language (WSBPEL) technical committee. http://www.oasisopen.org/news/oasis news 04 29 03.php.
  11. OASIS (2007). WS-BPEL 2.0 standard. http://docs.oasisopen.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html.
  12. OASIS (2008). OASIS standards. open.org/specs/.
  13. Papazoglou, M. (2007). Web services technologies and standards. computing surveys (enviado para revisin).
  14. SeCSE (2007). A1.D3.3: Testing method definition V3. http://secse.eng.it/wpcontent/uploads/2007/08/a1d33-testing-methoddefinition-v3.pdf.
  15. W3C (2008). W3C technical reports and publications. http://www.w3.org/TR/.
  16. Zheng, Y., Zhou, J., and Krause, P. (2007). An automatic test case generation framework for web services. Journal of Software, 2(3):64-77.
Download


Paper Citation


in Harvard Style

Palomo Duarte M., Garca Dominguez A. and Medina Bulo I. (2008). AN ARCHITECTURE FOR DYNAMIC INVARIANT GENERATION IN WS-BPEL WEB SERVICE COMPOSITIONS . In Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008) ISBN 978-989-8111-58-6, pages 37-44. DOI: 10.5220/0001908800370044


in Bibtex Style

@conference{ice-b08,
author={M. Palomo Duarte and A. Garca Dominguez and I. Medina Bulo},
title={AN ARCHITECTURE FOR DYNAMIC INVARIANT GENERATION IN WS-BPEL WEB SERVICE COMPOSITIONS},
booktitle={Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008)},
year={2008},
pages={37-44},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001908800370044},
isbn={978-989-8111-58-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008)
TI - AN ARCHITECTURE FOR DYNAMIC INVARIANT GENERATION IN WS-BPEL WEB SERVICE COMPOSITIONS
SN - 978-989-8111-58-6
AU - Palomo Duarte M.
AU - Garca Dominguez A.
AU - Medina Bulo I.
PY - 2008
SP - 37
EP - 44
DO - 10.5220/0001908800370044