Local and on-the-fly choreography-based Web service composition

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence, WI 2007

Volumn , Issue , 2007, Pages 521-527

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

^a Iowa State University   (United States)

^b Iowa State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; INFORMATION SERVICES; KETONES; LOGIC PROGRAMMING; STATE SPACE METHODS; WEB SERVICES; WORLD WIDE WEB;

COMPUTATIONAL SAVINGS; INTERNATIONAL CONFERENCES; NUMBER OF STATES; ON-THE-FLY; PROGRAMMING TECHNIQUES; PROTOTYPE IMPLEMENTATIONS; STATE-SPACE EXPLOSION; WEB INTELLIGENCE; WEB SERVICE COMPOSITION;

CHEMICAL ANALYSIS;

EID: 48349100366     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI.2007.72     Document Type: Conference Paper

References (20)

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. M. Bravetti and G. Zavattaro. Towards a unifying theory for choreography conformance and contract compliance. In 6th International Symposium on Software Composition, 2007.
3. M. Carbone, K. Honda, and N. Yoshida. Structured communication-centred programming for web services. In 16th European Symposium on Programming, Braga, Portugal, 2007.
4. R. Hull and J. Su. Tools for composite web services: A short overview. ACM SIGMOD Record, 34(2), June 2005.
5. Judith Bishop K. S. May Chan and Luciano Baresi. Survey and comparison of planning techniques for web services composition, technical report. Technical report, February 2007.
6. S Lammermann. Runtime Service Composition via Logic-Based Program Synthesis. Ph.D. Dissertation, Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, Sweden, 2002.
7. 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.
8. R. Milner. A Calculus of Communicating Systems. Springer-Verlag New York, Inc., 1982.
9. Saayan Mitra, Ratnesh Kumar, and Samik Basu. Automated choreographer synthesis for web services composition using i/o automata. In IEEE International Conference on Web Services (ICWS), Salt Lake City, 2007.
10. H.R.M. Nezhad, F. Benatallah, B. Casati, and F Toumani. Web services interoperability specifications. Computer, 39(5):24-32, 2006.
11. J. Peer. Web service composition as ai planning - a survey, technical report. Technical report, University of St. Gallen, 2005.
12. L. Penserini, A. Perini, A. Susi, and J. Mylopoulos. From stakeholder needs to service requirements. In Service-Oriented Computing: Consequences for Engineering Requirements, 2006.
13. M. Pistore, P. Roberti, and P. Traverso. Process-level composition of executable web services: on-the-fly versus once-for-all composition. In European Semantic Web Conference (ESWC'05), 2005.
14. J. Rao. Semantic Web Service Composition via Logic-based Program Synthesis, PhD Thesis. PhD thesis, Norwegian University of Science and Technology, 2004.
15. 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.
16. M. Trainotti, M. Pistore, G. Calabrese, G. Zaceo, G. Lucchese, F. Barbon, P. Bertoli, and P. Traverso. Astro: Supporting composition and execution of web services. In International Conference on Automated and Planning Sheduling (ICAPS'05), 2005.
17. Usecase. Web service use cases. http://www.w3.org/TR/ws-arch-scenarios/.
18. R. J. Waldinger. Web agents cooperating deductively. In 1st International Workshop on Formal Approaches to Agent-Based Systems, pages 250-262. Springer-Verlag, 2001.
19. XSB. The XSB logic programming system, 2006. Available from http://xsb.sourceforge.net.
20. H. Yang, X. Zhao, C. Cai, and Z. Qiu. Exploring the connection of choreography and orchestration with exception handling and finalization/ compensation. In International Conference on Formal Methods for Networked and Distributed Systems, Tallinn, Estonia, 2007.