Modeling Web service composition using symbolic transition systems

AAAI Workshop - Technical Report

Volumn WS-06-01, Issue , 2006, Pages 44-51

  Pathak, Jyotishman ^a   Basu, Samik ^a   Honavar, Vasant ^a  

^a Iowa State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; FORMAL LOGIC; WORLD WIDE WEB;

SYMBOLIC TRANSITION SYSTEMS (STS); TRANSITION SYSTEMS; WEB SERVICES;

TELECOMMUNICATION SERVICES;

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

References (23)

1. Alonso, G.; Casati, F.; Kuna, H.; and Machiraju, V. 2004. Web Services: Concepts, Architectures and Applications. Springer-Verlag.
2. Andrews, T.; Curbera, F.; and et al. 2003. Business Process Execution Language for Web Services, Version 1.1. In http://www.ibm.com/developerworks/ library/ws-bpel/.
3. Basu, S.; Mukund, M.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; and Verma, R. M. 2001. Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. In Intl. Conference on Logic Programming, volume 2237, 166-180. Springer-Verlag.
4. Berardi, D.; Calvanese, D.; Giuseppe, D. G.; Hull, R.; and Mecella, M. 2005. Automatic Composition of Transitionbased Semantic Web Services with Messaging. In 31st Intl. Conference on Very Large Databases, 613-624.
5. Bultan, T.; Fu, X.; Hull, R.; and Su, J. 2003. Conversation Specification: A New Approach to Design and Analysis of e-Service Composition. In 12th Intl. Conference on World Wide Web, 403-410. ACM Press.
6. Crane, M., and Dingel, J. 2005. On the Semantics of UML State Machines: Categorization and Comparision. In Technical Report 2005-501, School of Computing, Queen's University, Canada.
7. Dustdar, S., and Schreiner, W 2005. A Survey on Web Services Composition. International Journal on Web and Grid Services 1(1): 1-30.
8. Erl, T. 2004. Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services. Prentice Hall, New Jersey.
9. Fu, X.; Bultan, T.; and Su, J. 2004. Analysis of Interacting BPEL Web Services. In 13th Intl. conference on World Wide Web, 621-630. ACM Press.
10. Harel, D. 1987. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8(3):231-274.
11. Hopcroft, J. E., and Ullman, J. D. 1979. Introduction to Automata Theory, Languages and Computation. Addison-Welsey.
12. Hull, R., and Su, J. 2005. Tools for Composite Web Services: A Short Overview. SIGMOD Record 34(2):86-95.
13. Lämmermann, S. 2002. Runtime Service Composition via Logic-Based Program Synthesis. Ph.D. Dissertation, Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, Sweden.
14. Martin, D.; Burstein, M.; Hobbs, J.; and et al. 2004. OWL-S: Semantic Markup for Web Services, Version 1.1. In http://www.daml.org/services/owl-s.
15. McIlraith, S., and Son, T. 2002. Adapting Golog for Composition of Semantic Web Services. In 8th Intl. Conference on Principles of Knowledge Representation and Reasoning, 482-493.
16. Oh, S.-C.; Lee, D.; and Kumara, S. 2005. A Comparative Illustration of AI Planning-based Web Services Composition. ACM SIGecom Exchanges 5(5): 1-10.
17. Pathak, J.; Koul, N.; Caragea, D.; and Honavar, V. 2005. A Framework for Semantic Web Services Discovery. In 7th ACM Intl. Workshop on Web Information and Data Management, 45-50. ACM press.
18. Pfadenhauer, K.; Dustdar, S.; and Kittl, B. 2005. Challenges and Solutions for Model Driven Web Service Composition. In 14th IEEE Intl. Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises, 126-131. IEEE Press.
19. Pistore, M.; Traverso, P.; Bertoli, P.; and Marconi, A. 2005. Automated Synthesis of Composite BPEL4WS Web Services. In 3rd Intl. Conference on Web Services, 293-301. IEEE Press.
20. Rao, J.; Kungas, P.; and Matskin, M. 2004. Logic-based Web Services Composition: From Service Description to Process Model. In 2nd Intl. Conference on Web Services, 446-453.
21. Sagonas, K. F.; Swift, T.; and Warren, D. S. 1993. The XSB Programming System. In Workshop on Programming with Logic Databases, http://xsb. sourceforge.net.
22. Traverso, P., and Pistore, M. 2004. Automated Composition of Semantic Web Services into Executable Processes. In 3rd Intl. Semantic Web Conference, 380-394. Springer-Verlag.
23. Waldinger, R. J. 2001. Web Agents Cooperating Deductively. In 1st Intl. Workshop on Formal Approaches to Agent-Based Systems, 250-262. Springer-Verlag.