Composition of Web Services based on Timed Mediation

##plugins.themes.academic_pro.article.sidebar##

Published Mar 1, 2014
https://doi.org/10.47164/ijngc.v5i1.60
Download
PDF
Statistic

Downloads

Download data is not yet available.

Metrics

Metrics Loading ...
Volume 5, Issue 1, March 2014

##plugins.themes.academic_pro.article.main##

Nawal Guermouche
CNRS, LAAS, 7 avenue du colonel Roche, F-31400 Toulouse, France
Claude Godart
LORIA-INRIA-UMR 7503,F-54506 Vandoeuvre-les-Nancy, France

Abstract

In the last few years there has been an increasing interest for Web service composition which is one of the important aspects of the Service Oriented Computing (SOC) paradigm. In the literature, many frameworks investigated mechanisms for synthesizing a composition based on operations and/or messages choreography constraints. Apart from these constraints, Web services interactions depend also on crucial quantitative timed properties. These properties affect considerably the behavior of services and we need to consider them when synthesizing compositions. Since Web services are developed autonomously, when composing services, conflicts, and in particular timed conflicts can arise and the composition fails. An interesting alternative is to generate a mediator to try to avoid these timed (and non timed) conflicts. In this paper, we first present how to model the behavior of Web services augmented with timed properties, and second we present a mechanism to deal with timed properties when building a composition of asynchronous services, potentially, based on a timed mediator.

##plugins.themes.academic_pro.article.details##

How to Cite
Nawal Guermouche, & Claude Godart. (2014). Composition of Web Services based on Timed Mediation. International Journal of Next-Generation Computing, 5(1), 43–68. https://doi.org/10.47164/ijngc.v5i1.60
Crossref
Scopus
Google Scholar
Europe PMC

References

  1. Alur, R. and Dill, D. L. 1994. A theory of timed automata. Theoretical Computer Science 126, 2, 183–235.
  2. Behrmann, G., Bengtsson, J., David, A., Larsen, K. G., Pettersson, P., and Yi, W. 2002. Uppaal implementation secrets.In Formal Techniques in Real-Time and Fault-Tolerant Systems. 3–22.
  3. Benatallah, B., Casati, F., Ponge, J., and Toumani, F. 2005b. On temporal abstractions of web service protocols. In The 17th Conference on Advanced Information Systems Engineering (CAiSE ’05). Short Paper Proceedings.
  4. Benatallah, B., Casati, F., Ponge, J., and Toumani, F. Saint Malo, 17-20 octobre 2005,a. Compatibility and replaceability analysis for timed web service protocols. In Proceedings of the 21`emes Journ´ees Bases de Donn´ees Avanc´ees (BDA’05).
  5. Berardi, D., Calvanese, D., Giacomo, G. D., Hull, R., and Mecella, M. 2005. Automatic composition of transitionbased semantic web services with messaging. In Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30 - September 2, 2005. ACM, 613–624.
  6. Berardi, D., Calvanese, D., Giacomo, G. D., Lenzerini, M., and Mecella, M. 2003. Automatic composition of e-services that export their behavior. In Service-Oriented Computing - ICSOC 2003, First International Conference, Trento, Italy, December 15-18, 2003, Proceedings. Lecture Notes in Computer Science, vol. 2910. Springer, 43–58.
  7. Berardi, D., Calvanese, D., Giacomo, G. D., and Mecella, M. 2005. Composition of services with nondeterministic observable behavior. In Service-Oriented Computing - ICSOC 2005, Third International Conference (ICSOC). 520–526.
  8. Bertoli, P., Pistore, M., and Traverso, P. 2006. Automated web service composition by on-the-fly belief space search.In Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006 (ICAPS). 358–361.
  9. Brogi, A. and Popescu, R. 2005. Towards semi-automated workflow-based aggregation of web services. In ServiceOriented Computing - ICSOC 2005, Third International Conference (ICSOC). 214–227.
  10. Bultan, T., Fu, X., Hull, R., and Su, J. 2003. Conversation specification: a new approach to design and analysis of e-service composition. In Proceedings of the international conference on World Wide Web, WWW 2003. 403–410.
  11. Deutsch, A., Sui, L., and Vianu, V. June 14-16, Paris, France, 2004. Specification and verification of data-driven web services. In Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’04). 71–82.
  12. D´ıaz, G., Cambronero, M.-E., Pardo, J. J., Valero, V., and Cuartero, F. 19-25 February, Guadeloupe, French Caribbean, 2006. Automatic generation of correct web services choreographies and orchestrations with model checking techniques. In Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW’06). 186.
  13. Guermouche, N. 2010. Timed interation-aware web service composition (wrtiten in french: Etude des interactions temporises dans la composition de services web). Ph.D. thesis, Nancy university, France.
  14. Guermouche, N. and Godart, C. 2009. Timed model checking based approach for web services analysis. In IEEE International Conference on Web Services (ICWS’09), July 6-10, 2009, Los Angeles, CA, USA.
  15. Guermouche, N. and Godart, C. Monterrey, Mexico, November 9-14, 2008a. Timed properties-aware asynchronous web service composition. Proceedings of the 16th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS’08), 44–61.
  16. Guermouche, N. and Godart, C. Munich, Germany, September 15-19, 2008b. Toward data flow oriented services composition. In Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC’08).379–385.
  17. Guermouche, N. and Godart, C. San Francisco, California, USA, December 7-10, 2010. Timed conversational protocol based approach for web services analysis. In Proceedings of the 8 th International Conference on Service Oriented Computing (ICSOC’10).
  18. Hamadi, R., Paik, H.-Y., and Benatallah, B. Trondheim, Norway, June 11-15, 2007. Conceptual modeling of privacyaware web service protocols. In Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE’07). 233–248.
  19. Henzinger, T. A., Nicollin, X., Sifakis, J., and Yovine, S. 1994. Symbolic model checking for real-time systems.Information and Computation 111, 2, 193–244.
  20. Hull, R., Benedikt, M., Christophides, V., and Su, J. 2003. E-services: a look behind the curtain. In Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS). 1–14.
  21. Kazhamiakin, R., Pandya, P. K., and Pistore, M. 2006. Representation, verification, and computation of timed properties in web service compositions. In Proceedings of the IEEE International Conference on Web Services (ICWS). 497–504.
  22. Larsen, K. G., Pettersson, P., and Yi, W. 1997. Uppaal in a nutshell. In International Journal on Software Tools for Technology Transfer.
  23. McIlraith, S. A. and Son, T. C. April 22-25, Toulouse, France,2002. Adapting golog for composition of semantic web services. In Proceedings of the 8 th International Conference on Principles and Knowledge Representation and Reasoning (KR’02). 482–496.
  24. Mecella, M. and Batini, C. 2001. Enabling italian e-government through a cooperative architecture. IEEE Computer 34, 2, 40–45.
  25. Mecella, M., Ouzzani, M., Paci, F., and Bertino, E. 2006. Access control enforcement for conversation-based web services. In WWW 2006 Proceedings.
  26. Medjahed, B., Bouguettaya, A., and Elmagarmid, A. K. 2003. Composing web services on the semantic web. VLDBJ. 12, 333–351.
  27. Mokhtar, S. B., Kaul, A., Georgantas, N., and Issarny, V. Melbourne, Australia, November 27-December 1, 2006.Efficient semantic service discovery in pervasive computing environments. In 7th International Middleware Conference,(Middleware). 240–259.
  28. Muscholl, A. and Walukiewicz, I. 2007. A lower bound on web services composition. In Proceedings of Foundations of Software Science and Computation Structures (FOSSACS). LNCS, vol. 4423. 274–287.
  29. Narayanan, S. and McIlraith, S. A. 2002. Simulation, verification and automated composition of web services. In Proceedings of the international conference on World Wide Web, WWW 2002. 77–88.
  30. Pichler, H., Wenger, M., and Eder, J. Amsterdam, The Netherlands, June 8-12, 2009. Composing time-aware web
  31. service orchestrations. In Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE’09). 349–363.
  32. Pistore, M., Marconi, A., Bertoli, P., and Traverso, P. 2005. Automated composition of web services by planning at the knowledge level. In IJCAI. 1252–1259.
  33. Pistore, M., Traverso, P., Bertoli, P., and Marconi, A. 2005. Automated synthesis of composite bpel4ws web services.In IEEE International Conference on Web Services (ICWS). 293–301.
  34. Ponge, J., Benatallah, B., Casati, F., and Toumani, F. 2007. Fine-grained compatibility and replaceability analysis of timed web service protocols. In the 26th International Conference on Conceptual Modeling (ER).
  35. Sohrabi, S., Prokoshyna, N., and McIlraith, S. A. 2006. Web service composition via generic procedures and customizing user preferences. In International Semantic Web Conference. 597–611.
  36. Thakkar, S., Ambite, J. L., and Knoblock, C. A. 2003. A view integration approach to dynamic composition of web services. In Proceeding of 2003 ICAPS Workshop on Planning for Web Services.
  37. Thakkar, S., Ambite, J. L., and Knoblock, C. A. 2004. A data integration approach to automatically composing and optimizing web services. Proceedings of the 2nd ICAPS International Workshop on Planning and Scheduling for Web and Grid Services.
  38. Thakkar, S., Ambite, J. L., Knoblock, C. A., and Shahabi, C. 2002. Dynamically composing web services from on-line sources. Proceeding of the AAAI Workshop on Intelligent Service Integration, 1–7.