A lower bound on Web services composition

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

Volumn 4423 LNCS, Issue , 2007, Pages 274-286

  Muscholl, Anca ^a   Walukiewicz, Igor ^a  

^a UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

Automata simulation; Complexity; Web services composition

Indexed keywords

COMPUTER SIMULATION; FINITE AUTOMATA; MATHEMATICAL MODELS; PROBLEM SOLVING; SPECIFICATIONS;

AUTOMATA SIMULATION; LOWER BOUND; ROMAN MODEL; UPPER BOUND;

WEB SERVICES;

EID: 37149018364     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71389-0_20     Document Type: Conference Paper

References (11)

1. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer, 2004.
2. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Proc. of the 1st Int. Conf. on Service Oriented Computing (ICSOC 2003), volume 2910 of Lecture Notes in Computer Science, pages 43-58. Springer, 2003.
3. D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella. Automatic composition of web services in Colombo. In SEBD 2005, pages 8-15, 2005.
4. D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella. Automatic composition of web services with messaging. In VLDB 2005, pages 613-624, 2005.
5. D. Brand and P. Zafiropulo. On communicating finite-state machines. J. ACM, 30(2):323-342, 1983.
6. A. K. Chandra, D. Kozen and L. J. Stockmeyer. Alternation. J. ACM 28(1): 114-133, 1981.
7. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. In Symposium on Principles of Database Systems (PODS), 2004.
8. X. Fu, T. Bultan, and J. Su. Conversation protocols: a formalism for specification and verification of reactive electronic services. In Theor. Comput. Sci. 328(1-2): 19-37, 2004.
9. R. Hull, M. Benedikt, V. Christophides, J. Su. E-services: a look behind the curtain. In Symposium on Principles of Database Systems (PODS), pp. 1-14, 2003.
10. F. Laroussinie and Ph. Schnoebelen. The state explosion problem from trace to bisimulation equivalence. In FoSSaCS 2000, pages 192-207, 2000.
11. M. Pistore, A. Marconi, P. Bertoli, and P. Traverso. Automated composition of web services by planning at the knowledge level. In International Joint Conference on Artificial Intelligence (IJCAI). 2005.