Automatic service composition via simulation

International Journal of Foundations of Computer Science

Volumn 19, Issue 2, 2008, Pages 429-451

  Berardi, Daniela ^a   Cheikh, Fahima ^b   De Giacomo, Giuseppe ^a   Patrizi, Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 44249113629     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054108005759     Document Type: Conference Paper

References (36)

1. V. Agarwal, G. Chafle, K. Dasgupta, N. M. Karnik, A. Kumar, S. Mittal, and B. Srivastava. Synthy: A system for end to end composition of web services. J. Web Sem., 3(4):311-339, 2005.
2. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer, 2004.
3. D. Berardi. Automatic Composition Services: Models, Techniques and Tools. PhD thesis, Università degli Studi di Roma - La Sapienza, 2005.
4. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic Composition of Transition-based Semantic Web Services with Messaging. In Proc. of VLDB 2005, 2005.
5. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Composition of e-Services that Export their Behavior. In Proc. of ICSOC 2003, pages 43-58, 2003.
6. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Synthesis of Underspecified Composite e-Services based on Automated Reasoning. In Proc. of ICSOC 2004, pages 105-114, 2004.
7. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic service composition based on behavioral descriptions. International Journal of Cooperative Information Systems, 14(4):333 - 376, 2005.
8. D. Berardi, G. De Giacomo, and M. Mecella. Basis for automatic service composition. Tutorial at WWW 2005, 2005.
9. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In Proc. of WWW 2003, 2003.
10. G. De Giacomo. Composition synthesis of web services composition synthesis of web services. Talk at Daghstuhl Seminar on Synthesis and Planning, 2005.
11. G. De Giacomo and M. Mecella. Service composition. Tutorial at ICSOC 2004, 2004.
12. G. De Giacomo and S. Sardiña. Automatic synthesis of new behaviors from a library of available behaviors. In Proc. of IJCAI 2007, pages 1866-1871, 2007.
13. R. Gentilini, C. Piazza, and A. Policriti. From bisimulation to simulation: Coarsest partition problems. J. Autom. Reasoning, 31(1):73-103, 2003.
14. C. E. Gerede, R. Hull, O. H. Ibarra, and J. Su. Automated composition of e-services: lookaheads. In Proc. of ICSOC 2004, pages 252-262, 2004.
15. C. E. Gerede, O. H. Ibarra, B. Ravikumar, and J. Su. Online and minimum-cost ad hoc delegation in e-service composition. In Proc. of the IEEE 2005 IEEE International Conference on Services Computing (SCC'05), pages 103-112, 2005.
16. M. Ghallab, D. Nau, and P. Traverse Automated Planning: Theory and Practice. Morgan Kauffman, 2004.
17. G. Grahne and V. Kiricenko. Process mediation in an extended roman model. In Proceedings of the First International Workshop on Mediation in Semantic Web Services (MEDIATE 2005), pages 17 - 33, 2005.
18. A. Y. Halevy. Answering Queries Using Views: A Survey. VLDB Journal, 10(4):270-294, 2001.
19. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, 2000.
20. M. R. Henzinger, T. A. Henzinger, and P. W. Kopke. Computing simulations on finite and infinite graphs. In Proc. of FOCS 1995, pages 453-462, 1995.
21. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: a Look Behind the Curtain. In Proc. of PODS 2003, pages 1-14, 2003.
22. M. Lenzerini. Data Integration: A Theoretical Perspective. In Proc. of PODS 2002, pages 233-246, 2002.
23. S. A. McIlraith and T. C. Son. Adapting Golog for Composition of Semantic Web Services. In Proc. of KR 2002, pages 482-496, 2002.
24. B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid. Composing Web Services on the Semantic Web. VLDB Journal, 12(4):333-351, 2003.
25. M. Michalowski, J. L. Ambite, C. A. Knoblock, S. Minton, S. Thakkar, and R. Tuchinda. Retrieving and Semantically Integrating Heterogeneous Data from the Web. IEEE Intelligent Systems, 19(3):72-79, 2004.
26. R. Milner. An algebraic definition of simulation between programs. In Proc. of IJCAI 1971, pages 481-489, 1971.
27. A. Muscholl and I. Walukiewicz. A Lower Bound on Web Services Composition. In Proc. of the 10th Int. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS 2007), volume 4423 of LNCS. Springer, 2007.
28. M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. Automated Synthesis of Composite BPEL4WS Web Services. In Proc. of ICWS 2005, 2005.
29. A. Pnueli and R. Rosner. On the Synthesis of a Reactive Module. In Proc. of POPL 1989, pages 179-190, 1989.
30. S. Sardiña, F. Patrizi, and G. De Giacomo. Automatic synthesis of a global behavior from multiple distributed behaviors. In Proc. of AAAI 2007, pages 1063-1069, 2007.
31. S. K. Shukla, H. B. H. III, D. J. Rosenkrantz, and R. E. Stearns. On the complexity of relational problems for finite state processes. In Proc. of ICALP 1996, pages 466-477, 1996.
32. L. Tan and R. Cleaveland. Simulation revisited. In Proc. of TACAS 2001, pages 480-495, 2001.
33. W.Thomas. Infinite Games and Verification. In Proc. of CAV 2002, 2002.
34. J. D. Ullman. Information Integration using Logical Views. Theoretical Computer Science, 239(2): 189-210, 2000.
35. M. Y. Vardi. An Automata-Theoretic Approach to Fair Realizability and Synthesis. In Proc. of CAV 1995, 1995.
36. J. Yang and M. P. Papazoglou. Service Components for Managing the Life-Cycle of Service Compositions. Information Systems, 29(2):97-125, 2004.