Protocol-based web service composition

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

Volumn 5364 LNCS, Issue , 2008, Pages 38-53

  Ragab Hassen, Ramy ^a   Nourine, Lhouari ^a   Toumani, Farouk ^a  

^a UNIVERSITÉ BLAISE PASCAL   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNET PROTOCOLS; WEBSITES;

FORMAL FRAMEWORK; SERVICE BUSINESS; SERVICE PROTOCOLS; SOUND AND COMPLETE; SYNTHESIS PROBLEMS; TARGET SERVICES; THEORETICAL COMPLEXITY; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 58049114817     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89652-4_7     Document Type: Conference Paper

References (16)

1. Alonso, G., Casati, F., Kuno, H.A., Machiraju, V.: Web Services - Concepts, Architectures and Applications. Springer, Heidelberg (2004)
2. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW 2003. ACM, New York (2003)
3. Dustdar, S., Schreiner, W.: A survey on web services composition. International Journal of Web and Grid Services 1(1), 1-30 (2005)
4. Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic service composition based on behavioral descriptions. IJCIS 14(4), 333-376 (2005)
5. Berardi, D., Calvanese, D., Giaconio, G.D., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: VLDB. pp. 613-624 (2005)
6. Muscholl, A., Walukiewicz, I.: A lower bound on web services composition. In: Seidl, H. (ed.) FOSSACS 2007. LNCS. vol. 4423, pp. 274-280. Springer. Heidelberg (2007)
7. Narayanan, S., Mcllraith, S.: Simulation, verification and automated composition of web services. Tn: WWW 2002, pp. 77-88 (2002)
8. Haniadi, R., Benatallah, B.: A Petri net-based model for web service composition. In: Australasian Database Conference, pp. 191-200 (2003)
9. Traverso, P., Pistore, M.: Automated Composition of Semantic Web Services into Executable Processes. In: Mcllraith. S.A. Plexousakis. D., van Harmelen, F. (eds.) TSWC 2004. LNCS, vol. 3298, pp. 380-394. Springer, Heidelberg (2004)
10. McIlraith, S., Son, T.: Adapting Golog for Composition of Semantic Web Services. In: KR 2002, pp. 482-493 (2002)
11. Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. DKE 58(3), 327-357 (2006)
12. Jedrzejowicz, J., Szepietowski, A.: Shuffle languages are in p. TCS 250(1-2), 31-53 (2001)
13. Warmuth, M.K., Haussler, D.: On the complexity of iterated shuffle. JCSS 28(3), 345-358 (1984)
14. Karp, R., Miller, R.: Parallel Program Schemata. JCSS 3(2). 147-195 (1969)
15. Dickson, L.E.: Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. Amer. Journal Math. 35, 413-422 (1913)
16. Ragab, R., Nourine, L., Toumani, F.: Web services composition is decidable, http://www.isima.fr/ragab/RNTReport08.pdf