CLIENT SYNTHESIS FOR WEB SERVICES BY WAY OF A TIMED SEMANTICS

Serge Haddad, Patrice Moreaux, Sylvain Rampacek

2006

Abstract

A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct interacting clients when possible. The present work extends a previous discrete time approach and overcomes its limitations.

Paper Citation

in Harvard Style

Haddad S., Moreaux P. and Rampacek S. (2006). CLIENT SYNTHESIS FOR WEB SERVICES BY WAY OF A TIMED SEMANTICS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 978-972-8865-44-3, pages 19-26. DOI: 10.5220/0002460700190026

in Bibtex Style

@conference{iceis06,
author={Serge Haddad and Patrice Moreaux and Sylvain Rampacek},
title={CLIENT SYNTHESIS FOR WEB SERVICES BY WAY OF A TIMED SEMANTICS},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,},
year={2006},
pages={19-26},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002460700190026},
isbn={978-972-8865-44-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 4: ICEIS,
TI - CLIENT SYNTHESIS FOR WEB SERVICES BY WAY OF A TIMED SEMANTICS
SN - 978-972-8865-44-3
AU - Haddad S.
AU - Moreaux P.
AU - Rampacek S.
PY - 2006
SP - 19
EP - 26
DO - 10.5220/0002460700190026