CLIENT SYNTHESIS FOR WEB SERVICES BY WAY OF A TIMED SEMANTICS

Serge Haddad, Patrice Moreaux, Sylvain Rampacek

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.

References

  1. Alur, R. and Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2):183-235.
  2. Alur, R., Fix, L., and Henzinger, T. A. (1999). Event-clock automata: a determinizable class of timed automata. Theoretical Computer Science, 211(1-2):253-273.
  3. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., and Weerawarana, S. (2003). Business process execution language for web services.
  4. Bergstra, J. and Klop, J. (1984). Process algebra for synchronous communication. Information and Control, 60(1-3):109-137.
  5. Foster, H., Uchitel, S., J.Magee, , and J.Kramer (2003). Model-based verification of web service compositions. In Proc. of. the 18th Int. Conf. on Automated Software Eng.
  6. Fu, X., Bultan, T., and Su, J. (2004a). Analysis of interacting bpel web services. In Proc. of the 13th International World Wide Web Conference (WWW'04), USA. ACM Press.
  7. Fu, X., Bultan, T., and Su, J. (2004b). Wsat: A tool for formal analysis of web services. In Proc. of the 16th International Conference on Computer Aided Verification (CAV'04).
  8. Haddad, S., Melliti, T., Moreaux, P., and Rampacek, S. (2004a). A dense time semantics for Web services specifications languages. In Proc. of the 1st Int. Conf. on Information & Communication Technologies: from Theory to Applications (ICTTA'04), pages 647-648, Damascus, Syria. IEEE France.
  9. Haddad, S., Melliti, T., Moreaux, P., and Rampacek, S. (2004b). Modelling web services interoperability. In Proc. of the 6th Int. Conf. on Enterprise Information Systems (ICEIS04), Porto, Portugal.
  10. Hoare, C. (1985). Communicating Sequential Processes. Prentice Hall, Englewood Cliffs, NJ, USA.
  11. Juric, M. (2005). BPEL and Java. On line journal theserverside.com. http://www.theserverside.com/ articles/article.tss?l=BPELJava.
  12. Juric, M., Sarang, P., and Mathew, B. (2005). Business Process Execution Language for Web Services. Packt Publishing.
  13. Melliti, T. and Haddad, S. (2003). Synthesis of agents for web services interaction. In Workshop Semantic Web Services for Enterprise Application Integration and ECommerce of the Fifth International Conference on Electronic Commerce, Pittsburgh, USA.
  14. Milner, R. (1989). Communication and Concurrency. Prentice-Hall, Englewood Cliffs, NJ, USA.
  15. Nicollin, X. and Sifakis, J. (1994). The algebra of timed processes, atp: theory and application. Inf. Comput., 114(1):131-178.
  16. Staab, S., van der Aalst, W., Benjamins, V., Sheth, A., Miller, J., Bussler, C., Maedche, A., Fensel, D., and Gannon, D. (2003). Web services: Been there, done that? IEEE Intelligent Systems, 18:72-85.
  17. Thatte, S. (2001). Xlang: Web services for business process design. World Wide Web page. http://www.gotdotnet.com/team/xml/wsspecs/xlangc/default.htm.
  18. Tidwell, D. (2000). Web services - the web's next revolution. IBM developerWorks.
  19. Turner, K. J. (2005). Formalising web services. In Proc. of Formal Techniques for Networked and Distributed Systems (FORTE 2005), volume LNCS 3731, pages 473-488, Taipei, Taiwan. Springer.
  20. WSDL (2001). Web services description language (wsdl) 1.1. Technical report, World Wide Web Consortium. http://www.w3.org/TR/wsdl.
Download


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