Abstract
In this paper we consider the provisioning problem of Web services. Our framework is based on the existence of an abstract composition, i.e., the way some services of different types can be combined together in order to achieve a given task. Our approach consists in instantiating this abstract representation of a composite Web service by selecting the most appropriate concrete Web services. This instantiation is based on constraint programming techniques which allows us to match the Web services according to a given request. Our proposal performs this instantiation in a distributed manner, i.e., the solvers for each service type are solving some constraints at one level, and they are forwarding the rest of the request (modified by the local solution) to the next services. When a service cannot provision part of the composition, a distributed backtrack mechanism enables to change previous solutions (i.e., provisions). A major interest of our approach is to preserve privacy: solutions are not sent to the whole composition, services know only the services to which they are connected, and parts of the request that are already solved are removed from the next requests.
This work is partly funded by the INRIA-CONICYT project “CoreWeb” and the INRIA associate team “VanaWeb”.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Web Services Business Process Execution Language, http://www.oasis-open.org
Aggarwal, R., Verma, K., Miller, J.A., Milnor, W.: Constraint driven web service composition in meteor-s. In: Proc. of SCC, pp. 23–30. IEEE, Los Alamitos (2004)
Albert, P., Henocque, L., Kleiner, M.: Configuration-Based Workflow Composition. In: 2005 IEEE International Conference on Web Services (ICWS 2005), Orlando, FL, USA, July 11-15, 2005, pp. 285–292. IEEE Computer Society, Los Alamitos (2005)
Apt, K.R.: Principles of Constraint Programming. Cambridge Univ. Press, Cambridge (2003)
Arbab, F., Monfroy, E.: Coordination of heterogeneous distributed cooperative constraint solving. SIGAPP Appl. Comput. Rev. 6(2), 4–17 (1998)
Berardi, D.: Automatic Service Composition. Models, techniques and tools. PhD thesis, La Sapienza University, Roma (2005)
Berardi, D., Calvanese, D., Giacomo, G.D., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proc. of VLDB, pp. 613–624. ACM, New York (2005)
Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)
Berardi, D., Calvanese, D., Giacomo, G.D., Mecella, M.: Composition of services with nondeterministic observable behavior. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 520–526. Springer, Heidelberg (2005)
Bhiri, S., Perrin, O., Godart, C.: Ensuring required failure atomicity of composite web services. In: Proc. of WWW, pp. 138–147 (2005)
Bienvenu, M., Fritz, C., McIlraith, S.: Planning with qualitative temporal preferences. In: Proc. of KR, pp. 134–144 (2006)
Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: Proc. of WWW (2003)
Channa, N., Li, S., Shaikh, A.W., Fu, X.: Constraint satisfaction in dynamic web service composition. In: Proc. of DEXA, pp. 658–664. IEEE, Los Alamitos (2005)
Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)
Frühwirth, T.W.: Theory and practice of constraint handling rules. Journal of Logic Programming 37(1-3), 95–138 (1998)
Guermouche, N., Perrin, O., Ringeissen, C.: Timed specification for web services compatibility analysis. Electr. Notes Theor. Comput. Sci. 200(3), 155–170 (2008)
Hassine, A.B., Matsubara, S., Ishida, T.: A constraint-based approach to horizontal web service composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 130–143. Springer, Heidelberg (2006)
Kona, S., Bansal, A., Gupta, G.: Automatic Composition of Semantic Web Services. In: 2007 IEEE International Conference on Web Services (ICWS 2007), Salt Lake City, Utah, USA, July 9-13. IEEE Computer Society, Los Alamitos (2007)
Lazovik, A., Aiello, M., Gennari, R.: Encoding requests to web service compositions as constraints. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709. Springer, Heidelberg (2005)
Lazovik, A., Arbab, F.: Using Reo for Service Coordination. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 398–403. Springer, Heidelberg (2007)
Martin, D.L., Burstein, M.H., McDermott, D.V., McIlraith, S.A., Paolucci, M., Sycara, K.P., McGuinness, D.L., Sirin, E., Srinivasan, N.: Bringing semantics to web services with owl-s. In: World Wide Web, pp. 243–277 (2007)
McIlraith, S.A., Son, T.C.: Adapting golog for composition of semantic web services. In: Proc. of KR, pp. 482–496. Morgan Kaufmann, San Francisco (2002)
Monfroy, E.: The Constraint Solver Collaboration Language of BALI. In: Proceedings of FroCoS 1998. Studies in Logic and Computation, vol. 7, pp. 211–230. Research Studies Press Ltd. (2000)
Monfroy, E., Perrin, O., Ringeissen, C.: Modeling Web Services Composition with Constraints. In: Selected Papers of 3CCC — Colombian Conference on Computer Science. Revista Avances en Sistemas e Informática, vol. 5 (2008)
Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: Proc. of WWW, pp. 77–88 (2002)
Nareyek, A., Freuder, E.C., Fourer, R., Giunchiglia, E., Goldman, R.P., Kautz, H.A., Rintanen, J., Tate, A.: Constraints and AI Planning. IEEE Intelligent Systems 20(2), 62–72 (2005)
Peer, J.: Web Service Composition as AI Planning - a Survey. Technical Report Univ. of St. Gallen (2005)
Pistore, M., Barbon, F., Bertoli, P., Shaparau, D., Traverso, P.: Planning and Monitoring Web Service Composition. In: Bussler, C.J., Fensel, D. (eds.) AIMSA 2004. LNCS (LNAI), vol. 3192, pp. 106–115. Springer, Heidelberg (2004)
Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated composition of web services by planning at the knowledge level. In: IJCAI, pp. 1252–1259 (2005)
Sirin, E., Parsia, B., Wu, D., Hendler, J.A., Nau, D.S.: HTN planning for web service composition using shop2. J. Web Sem. 1(4), 377–396 (2004)
Wallace, M., Novello, S., Schimpf, J.: ECLiPSe: A Platform for Constraint Logic Programming. ICL Systems Journal 12(1), 159–200 (1997); Revised version of Technical Report IC-Parc, Imperial College, London (August 1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Monfroy, E., Perrin, O., Ringeissen, C. (2008). Dynamic Web Services Provisioning with Constraints. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems: OTM 2008. OTM 2008. Lecture Notes in Computer Science, vol 5331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88871-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-88871-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88870-3
Online ISBN: 978-3-540-88871-0
eBook Packages: Computer ScienceComputer Science (R0)