Dynamic web services provisioning with constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5331 LNCS, Issue PART 1, 2008, Pages 26-43

  Monfroy, Eric ^a,b   Perrin, Olivier ^c   Ringeissen, Christophe ^c  

^a DEPARTAMENTO DE FÍSICA   (Chile)

^b UNIVERSITÉ DE NANTES   (France)

^c LORIA   (France)

Author keywords

Constraint reasoning; Privacy; Provisioning; Web service

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING; CONSTRAINT THEORY; DIRECTION OF ARRIVAL; RADIO DIRECTION FINDING SYSTEMS; WEB SERVICES;

ABSTRACT REPRESENTATIONS; CONSTRAINT PROGRAMMINGS; CONSTRAINT REASONING; DISTRIBUTED BACKTRACK MECHANISMS; LOCAL SOLUTIONS; PRIVACY; PROVISIONING;

WORLD WIDE WEB;

EID: 58049127610     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88871-0_6     Document Type: Conference Paper

References (31)

1. Web Services Business Process Execution Language, http://www.oasis-open. org
2. 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)
3. Albert, P., Henocque, L., Kleiner, M.: Configuration-Based Workflow Composition. In: 2005 IEEE International Conference on Web Services (1CWS 2005), Orlando, FL, USA, July 11-15, 2005, pp. 285-292. IEEE Computer Society, Los Alamitos (2005)
4. Apt, K.R.: Principles of Constraint Programming. Cambridge Univ. Press, Cambridge (2003)
5. Arbab, F., Monfroy, E.: Coordination of heterogeneous distributed cooperative constraint solving. S1GAPP Appl. Comput. Rev. 6(2), 4-17 (1998)
6. Berardi, D.: Automatic Service Composition. Models, techniques and tools. PhD thesis, La Sapienza University, Roma (2005)
7. 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)
8. 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.) 1CSOC 2003. LNCS, vol. 2910, pp. 43-58. Springer, Heidelberg (2003)
9. 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)
10. Bhiri, S., Perrin, O., Godart, C.: Ensuring required failure atomicity of composite web services, in: Proc. of WWW, pp. 138-147 (2005)
11. Bienvenu, M., Fritz, C, Mcllraith, S.: Planning with qualitative temporal preferences. in: Proc. of KR, pp. 134-144 (2006)
12. 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)
13. 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)
14. Dechter, R.: Constraint Processing. Morgan Kaufmann, San Francisco (2003)
15. Friihwirth, T.W.: Theory and practice of constraint handling rules. Journal of Logic Programming 37(1-3), 95-138 (1998)
16. Guermouche, N., Perrin, O., Ringeissen, C.: Timed specification for web services compatibility analysis. Electr. Notes Theor. Comput. Sci. 200(3), 155-170 (2008)
17. Hassine, A.B., Matsubara, S., ishida, T.: A constraint-based approach to horizontal web service composition, in: Cruz, L, 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)
18. 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)
19. 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)
20. Lazovik, A., Arbab, F.: Using Reo for Service Coordination. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOG 2007. LNCS, vol. 4749, pp. 398-403. Springer, Heidelberg (2007)
21. 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)
22. Mcllraith, 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)
23. 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)
24. 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)
25. Narayanan, S., Mcllraith, S.A.: Simulation, verification and automated composition of web services. In: Proc. of WWW, pp. 77-88 (2002)
26. 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)
27. Peer, J.: Web Service Composition as AI Planning - a Survey. Technical Report Univ. of St. Gallen (2005)
28. 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)
29. 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)
30. Sirin, E., Parsia, B., Wax, D., Hendler, J.A., Nau, D.S.: HTN planning for web service composition using shop2. J. Web Sem. 1(4), 377-396 (2004)
31. 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)