S. Haddad, T. Melliti, P. Moreaux, S. Rampacek


With the development of the semantic Web, the specification of Web services has evolved from a “remote procedure call” style to a behavioral description including standard constructors of programming languages. Such a transformation introduces new problems since traditional clients will not be able to interact with these sophisticated services. In this work, we develop a generic agent capable to fully control the interaction process with a Web service given its XLANG behavioral description (XLANG being one of these languages). At first, we give an operational semantic to XLANG in terms of timed transition systems. Then we define a relation between two communicating systems which formalizes the concept of a correct interaction and we propose an algorithm which either detects ambiguity of the Web service or generates a timed deterministic automaton which controls the agent behavior during the interaction with the service. Starting from these theoretical developments we have built a platform which ensures to a user the correct handling of any complex Web service dynamically discovered through the Web.


  1. Ankolekar, A. and al (2001). Daml-s : Semantic markup for web services. In Proceedings of the International Semantic Web Working Symposium (SWWS), Standford, USA.
  2. B. Benatallah, M. Dumas, M. F. and Rabhi, F. (2001). Towards patterns of web services composition. Technical report, Technical Report UNSW-CSE-TR-0111, The University of New South Wales Sydney, Australia.
  3. Bechhofer, S. and al (2001). Web services flow language (wsfl 1.0). Technical report, IBM Corporation.
  4. Bergstra, J. and Klop, J. (1984). Process algebra for synchronous communication. Information and Control, 60(1-3), pages 109-137.
  5. C.A.R.Hoare (1985). Communicating sequential processes. Prentice Hall.
  6. Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., and Shan, M. (2000). Adaptive and dynamic service composition in eflow. In Proceedings of the International Conference on Advanced Information Systems Engineering, pages 13-31, Stockholm, Sweden.
  7. CaudWell, P. and al (2001). Service Web XML Professionnel. wrax, Paris.
  8. Chandrasekaran, S., Miller, J. A., Silver, G. S., Arpinar, B., and Sheth, A. P. (2003). Composition, performance analysis and simulation of web services. Electronic Markets: The International Journal of Electronic Commerce and Business Media (EM)Web Services EM Vol.13,No. 2.
  9. Curbera, F., Nagy, W. A., and Weerawarana, S. (2001). Web services : Why and how? OOPSLA 2001 Workshop on Object-Oriented Web Services.
  10. Lee, I., Bremond-Gregoire, P., and Gerber, R. (1994). A process algebraic approach to the specification and analysis of resource-bound real-time systems. Proceedings of the IEEE, pages 158-171.
  11. Melliti, T. and Haddad, S. (2003). Synthesis of agents for web services interaction. International Conference Electronic Commerce, workshop.
  12. Milner, R. (1989). Communication and Concurrency. Prentice Hall.
  13. Nicollin, X. and Sifakis, J. (1991). The algebra of timed process, atp: Theory and application. Technical report, Technical Report RT-C26, Institut National Polytechnique De Grenoble.
  14. SOAP (2000). Simple object access protocol (soap) 1.1. Technical report, World Wide Web Consortium.
  15. Thatte, S. (2001). Xlang: Web services for business process design. World Wide Web page.
  16. Tidwell, D. (2000). Web services - the web's next revolution. IBM developerWorks.
  17. UDDI (2002). Universal description, discovery and integration. Technical report, OASIS UDDI Specification Technical Committee.
  18. W. Aalst, V. H. and Houben, G. (1994). Modelling workflow management systems with high-level Petri nets. In Proceedings of the second Workshop on Computer Supported Cooperative Work, Petri nets and related formalisms, pages 31-50.
  19. WSCL (2002). Web services conversation language (wscl) 1.0. Technical report, World Wide Web Consortium.
  20. WSDL (2001). Web services description language (wsdl) 1.1. Technical report, World Wide Web Consortium.
  21. WST (2003). The java web services Technical report, Sun Microsystems,

Paper Citation

in Harvard Style

Haddad S., Melliti T., Moreaux P. and Rampacek S. (2004). MODELLING WEB SERVICES INTEROPERABILITY . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 972-8865-00-7, pages 287-295. DOI: 10.5220/0002648802870295

in Bibtex Style

author={S. Haddad and T. Melliti and P. Moreaux and S. Rampacek},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 4: ICEIS,},

in EndNote Style

JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 4: ICEIS,
SN - 972-8865-00-7
AU - Haddad S.
AU - Melliti T.
AU - Moreaux P.
AU - Rampacek S.
PY - 2004
SP - 287
EP - 295
DO - 10.5220/0002648802870295