Automated composition of e-services: Lookaheads

ICSOC '04: Proceedings of the Second International Conference on Service Oriented Computing

Volumn , Issue , 2004, Pages 252-262

  Gerede, Çaǧdaş Evren ^a   Hull, Richard ^b   Ibarra, Oscar H ^a   Su, Jianwen ^a  

^a University of California   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

Automated Composition; Automated Mediator Construction; Delegator; E service Modelling; E services; Finite State Automata; Looka head; Roman Model; Service Composition; Service Oriented Computing; Service Representation

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; FINITE AUTOMATA; MATHEMATICAL MODELS; SCHEDULING; TREES (MATHEMATICS);

AUTOMATED COMPOSITION; AUTOMATED MEDIATOR CONSTRUCTION; DELEGATOR; E-SERVICE MODELING; E-SERVICES; LOOKAHEAD; ROMAN MODEL; SERVICE COMPOSITION; SERVICE ORIENTED COMPUTING;

TELECOMMUNICATION SERVICES;

EID: 20444448188     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. In Proc. 16th Int. Colloq. on Automata, Languages and Programming, 1989.
2. S. Abiteboul, A. Bonifati, G. Cobena, I. Manolescu, and T. Milo. Dynamic XML documents with distribution and replication. In Proc. ACM SIGMOD Int. Conf. on Management of Data, 2003.
3. D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Proc. 1st Int. Conf. on Service Oriented Computing (ICSOC), volume 2910 of LNCS, pages 43-58, 2003.
4. Business Process Execution Language for Web Services (BPEL), Version 1.1. http : //www.ibm.com/developerworks/library/ws-bpel, May 2003.
5. J. Buchi and L. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, 138:295-311, 1969.
6. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to design and analysis of e-service composition. In Proc. Int. World Wide Web Conf. (WWW), May 2003.
7. E. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 2000.
8. Z. Dang, O. Ibarra, and J. Su. Composability of infinite-state activity automata. In Proceedings of the 15th International Symposium on Algorithms and Computation, Hong Kong, December 2004. To appear.
9. H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic based modeling and analysis of workflows. In Proc. ACM Symp. on Principles of Database Systems, pages 25-33, 1998.
10. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proc. Int. Conf. on Implementation and Application of Automata (CIAA), 2003.
11. X. Fu, T. Bultan, and J. Su. Analysis of interacting bpel web services. In Proc. Int. World Wide Web Conf. (WWW), May 2004.
12. X. Fu, T. Bultan, and J. Su. Wsat: A tool for formal analysis of web services. In 16th Internatioanal Conference on Computer Aided Verification, July 2004.
13. F. Gandon and N. Sadeh. A semantic eWallet to reconcile privacy and context awareness. In Proc. Second Int. Semantic Web Conf. (ISWC), Florida, Oct. 2003.
14. J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 1979.
15. O. Kupferman and M. Y. Vardi. Synthesizing distributed systems. In Proc. IEEE Symposium on Logic In Computer Science, 2001.
16. S. Lu. Semantic Correctness of Transactions and Workflows. PhD thesis, SUNY at Stony Brook, 2002.
17. R. Milner. Communicating and Mobile Systems: The π -calculus. Cambridge University Press, 1999.
18. S. Narayanan and S. McIlraith. Simulation, verification and automated composition of web services. In Proc. Int. World Wide Web Conf. (WWW), 2002.
19. OWL-S 1.0 Release. http://www.daml.org/services/owl-s/1.0/, May 2003.
20. A. Pnueli and R. Rosner. Distributed reactive systems are hard to synthesize. In Proc. IEEE Symp. on Foundations of Computer Science, 1990.
21. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA, 2001.
22. M. Singh. Semantical considerations on workflows: An algebra for intertask dependencies. In Proc. Workshop on Database Programming Languages (DBPL), 1995.
23. Simple Object Access Protocol (SOAP) 1.1. W3C Note 08, May 2000. http://www.w3.org/TR/SOAP/.
24. W. M. P. van der Aalst. On the automatic generation of workflow processes based on product structures. Computer in Industry, 39(2):97-111, 1999.
25. Web Services Description Language (WSDL) 1.1. http: //www.w3.org/TR/wsdl, March 2001.