Automated composition of nondeterministic stateful services

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

Volumn 6194 LNCS, Issue , 2010, Pages 147-160

  De Giacomo, Giuseppe ^a   Patrizi, Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED COMPOSITION; GAME WINNING STRATEGY; NON-DETERMINISM; POSSIBLE SOLUTIONS; SERVICE INTERACTION; SIMULATION RELATION; STATEFUL SERVICES; TRANSITION SYSTEM;

COMPUTATIONAL COMPLEXITY; WEB SERVICES;

FORMAL METHODS;

EID: 77958479373     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14458-5_9     Document Type: Conference Paper

References (27)

1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. In: Concepts, Architectures and Applications, Springer, Heidelberg (2004)
2. Alur, R., Henzinger, T. A., Mang, F. Y. C., Qadeer, S., Rajamani, S. K., Tasiran, S.: MOCHA: Modularity in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol. 1427, pp. 521-525. Springer, Heidelberg (1998)
3. Asarin, E., Maler, O., Pnueli, A.: Symbolic controller synthesis for discrete and timed systems. In: Antsaklis, P. J., Kohn, W., Nerode, A., Sastry, S. S. (eds.) HS 1994. LNCS, vol. 999, pp. 1-20. Springer, Heidelberg (1995)
4. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: IFAC Symposium on System Structure and Control, pp. 469-474. Elsevier, Amsterdam (1998)
5. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of e-Services that Export their Behavior. In: Proc. of ICSOC 2003, pp. 43-58 (2003)
6. Berardi, D., Cheikh, F., De Giacomo, G., Patrizi, F.: Automatic service composition via simulation. Int. J. Found. Comput. Sci. 19(2), 429-451 (2008)
7. 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 (2003)
8. Cardose, J., Sheth, A. P.: Introduction to semantic web services and web process composition. In: Cardoso, J., Sheth, A. P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 1-13. Springer, Heidelberg (2005)
9. De Giacomo, G., Sardiña, S.: Automatic synthesis of new behaviors from a library of available behaviors. In: Proc. of IJCAI 2007, pp. 1866-1871 (2007)
10. Gerede, C. E., Hull, R., Ibarra, O. H., Su, J.: Automated composition of e-services: Lookaheads. In: Proc. of ICSOC 2004 (2004)
11. Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kauffman, San Francisco (2004)
12. Henzinger, M. R., Henzinger, T. A., Kopke, P. W.: Computing simulations on finite and infinite graphs. In: Proc. of FOCS 1995, pp. 453-462 (1995)
13. Hull, R.: Web services composition: A story of models, automata, and logics. In: Proc. of SCC 2005 (2005)
14. Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: a Look Behind the Curtain. In: Proc. of PODS 2003, pp. 1-14 (2003)
15. Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: Proc. FMCAD 2006, pp. 117-124 (2006)
16. Jobstmann, B., Galler, S., Weiglhofer, M., Bloem, R.: Anzu: A tool for property synthesis. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 258-262. Springer, Heidelberg (2007)
17. McIlraith, S., Son, T. C.: Adapting Golog for programming the semantic web. In: Proc. of KR 2002 (2002)
18. Milner, R.: An algebraic definition of simulation between programs. In: Proc. of IJCAI 1971, pp. 481-489 (1971)
19. Muscholl, A., Walukiewicz, I.: A lower bound on web services composition. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol. 4423, pp. 274-286. Springer, Heidelberg (2007)
20. Papazoglou, M. P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. IEEE Computer 40(11), 38-45 (2007)
21. Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated Synthesis of Composite BPEL4WS Web Services. In: Proc. of ICWS 2005 (2005)
22. Piterman, N., Pnueli, A., Sa'ar, Y.: Synthesis of reactive (1) designs. In: Emerson, E. A., Namjoshi, K. S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 364-380. Springer, Heidelberg (2005)
23. Pnueli, A., Shahar, E.: The TLV system and its applications. Technical report, Weizmann Institute (1996)
24. Sardiña, S., De Giacomo, G., Patrizi, F.: Behavior composition in the presence of failure. In: Proceedings of KR 2008 (2008)
25. Sardiña, S., Patrizi, F., De Giacomo, G.: Automatic synthesis of a global behavior from multiple distributed behaviors. In: Proc. of AAAI 2007, pp. 1063-1069 (2007)
26. Vardi, M., Fisler, K.: Bisimulation and model checking. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 338-341. Springer, Heidelberg (1999)
27. Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S Web Services Composition using SHOP2. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195-210. Springer, Heidelberg (2003)