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

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

2008

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.

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