Automated choreographer synthesis for web services composition using i/o automata

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 364-371

  Mitra, Saayan ^a   Kumar, Ratnesh ^a   Basu, Samik ^b  

^a Iowa State University   (United States)

^b Iowa State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

I/O AUTOMATA; INTERNATIONAL CONFERENCES; SYNTHESIS (OF CHIRAL IONIC LIQUIDS); TRANSDUCING; TWO TYPES; UNIVERSAL SERVICES; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITIONS;

INFORMATION SERVICES; ROBOTS; STRUCTURE (COMPOSITION); TRANSLATION (LANGUAGES); WEB SERVICES; WORLD WIDE WEB;

AUTOMATA THEORY;

EID: 46849085995     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.47     Document Type: Conference Paper

References (19)

1. D. Berardi, D. Calvanese, G. Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In Conference on Very large data bases, Trondheim, Norway, 2005.
2. D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In International Conference on Service Oriented Computing, 2003.
3. D. Berardi, G. Giacomo, M. Mecella, and D. Calvanese. Composing web services with nondeterministic behavior. In IEEE International Conference on Web Services (ICWS.06), Chicago, IL, September 2006.
4. P. Bertolli, A. Cimatti, M. Pistore, M. Rovori, and P. Traverso. Mbp: a model based planner. In Workshop on Planning under Uncertainty and Incomplete Information., 2001.
5. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to design and analysis of e-service composition. In World Wide Web Conference (WWW'03), Budapest, Hungary, May 2003.
6. X. Fu, T. Bultan, and J. Su. Analysis of interacting bpel web services. In World Wide Web Conference (WWW.04), New York, NY, May 2004.
7. C. Gorode, R. Hull, O. Ibarra, and J. Su. Automated composition of e-services: Lookaheads. In International Conference on Service Oriented Computing, New York, NY, 2004.
8. G. J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
9. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: A look behind the curtain. In ACM SIGMODSIGACT-SIGART symposium on Principles of database systems, San Diego, CA, June 2003.
10. S. McIlraith, T. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, 16(2):46-53, 2001.
11. S. McIlraith and T. C. Son. Adapting golog for composition of semantic web services. In International Conference on the Principles of Knowledge Representation and Reasoning (KRR '02), 2002.
12. B. Modjahed, A. Bouguettaya, and A. Elmagarmid. Composing web services on the semantic web. The International Journal on Very Large Data Bases, 12(4):333-351, 2006.
13. R. Milner. A Calculus of Communicating Systems. Springer-Verlag New York, Inc., 1982.
14. H. Nezhad, F. Benatallah, B. Casati, and F. Toumani. Web services interoperability specifications. Computer, 39(5):24-32, 2006.
15. J. Pathak, S. Basu, R. Lutz, and V. Honavar. Parallel web service composition in moscoo: A choreography-based approach. In ECOWS '06: Proceedings of the European Conference on Web Services, pages 3-12. IEEE Computer Society, 2006.
16. M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso. Planning and monitoring web service composition. In Conference on Artificial Intelligence:Methodology, Systems, Applications, pages 106-115, 2004.
17. J. Rao, P. Kungas, and M. Matskin. Logic-based web services composition: from service description to process model. In IEEE International Conference on Web Services (ICWS'04), Washington, DC, July 2004.
18. S. Thakkar, C. Knoblock, and J. Ambite. A view integration approach to dynamic composition of web services. In ICAPS Workshop on Planning for Web Services, Trento, Italy, July 2003.
19. P. Traverso and M. Pistore. Automated composition of semantic web services into executable processes. In International Semantic Web Conference (ISWC'04), pages 380-394, 2004.