PPT

Overview
XML+XPath
DTD+Schema
SOAP
WSDL
BPEL
OWL-S
Process Composition
Design Analysis

Web Service Composition: Design and Analysis


Lecture notes

The references indicate the paper numbers in the "Primary Readings" section.
  1. Overview
  2. XML and XPath
  3. DTD and XML Schema
  4. SOAP
  5. WSDL
  6. BPEL
  7. OWL-S. Reference: [23]
  8. Process Specification Language. References: [24] [25] [26] [28]
  9. Service Composition. References: [27] [29, Section 3] [19] [20] [30]
  10. Design and Analysis. References: [20] [31] [32] [33]

Primary Readings

  1. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: A Look Behind the Curtain, Proceedings of the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), June 2003
  2. C. Ferris and J. Farrell. What are Web services? Communications of the ACM, 46(6):31, June 2003
  3. M. Burner. The Deliberate Revolution: Transforming Integration With XML Web Services. ACM Queue, 1(1):28-37, March 2003
  4. H. Kreger. Fulfilling the Web services promise. Communications of the ACM, 46(6):29-34, June 2003
  5. F. Curbera, R. Khalaf, N. Mukhi, S. Tai, and S. Weerawarana. The next step in Web services. Communications of the ACM, 46(10):29-34, October 2003
  6. F. Casati, E. Shan, U. Dayal, and M.-C. Shan. Business-oriented management of Web services. Communications of the ACM, 46(10)55-60, October 2003
  7. M. Turner, D. Budgen, and P. Brereton. Turning Software into a Service. IEEE Computer, 36(10):38-44, October 2003
  8. C. Peltz. Web Services Orchestration and Choreography. IEEE Computer, 36(10):46-52, October 2003
  9. L. G. Meredith and S. Bjorg. Contracts and types. Communications of the ACM, 46(10):41-47, October 2003
  10. S. Kleijnen and S. Raju. An Open Web Services Architecture. ACM Queue, 1(1):38-46, March 2003
  11. J. Williams, The Web services debate: J2EE vs. .NET. Communications of the ACM, 46(6):58-63, June 2003
  12. G. Miller. The Web services debate: .NET vs. J2EE. Communications of the ACM, 46(6):64-67, June 2003
  13. C. Vincent. Scripting Web Service Prototypes. ACM Queue, 1(1):22-27, March 2003
  14. T. Thompson, R. Weil, and M. D. Wood. CPXe: Web Services for Internet Imaging. IEEE Computer, 36(10):54-62, October 2003
  15. T.-M. Tsai, H.-K. Yu, H.-T. Shih, P.-Y. Liao, R.-D. Yang, and S. T. Chou. Ontology-Mediated Integration of Intranet Web Services. IEEE Computer, 36(10):63-71, October 2003
  16. J. E. Hanson, P. Nandi, and S. Kumaran. Conversation Support for Business Process Integration. The 6th International Enterprise Distributed Object Computing (EDOC'02), Ecole Polytechnic, Switzerland, Sep 17-20, 2002
  17. J. E. Hanson, P. Nandi, and D. W. Levine. Conversation-enabled Web Services for Agents and e-Business. Proceedings of the International Conference on Internet Computing (IC-02), CSREA Press, 2002, pp. 791-796
  18. S. Kumaran and P. Nandi. Dynamic e-Business Using BPEL4WS, WS-Coordination, WS-Transaction, and Conversation Support for Web Services.
  19. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. Proceedings of the 12th International World Wide Web Conference (WWW), May 2003
  20. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Composition of E-services That Export Their Behavior. International Conference on Service Oriented Computing, 2003, pages 43-58
  21. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987
  22. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4), 1989
  23. The OWL Service Coalition. OWL-S: Semantic Markup for Web Services, 2003
  24. C. Schlenoff, M. Gruninger, M. Ciocoiu, J. Lee. The Essence of the Process Specification Language. Special Issue on Modeling and Simulation of Manufacturing Systems in the Transactions of the Society for Computer Simulation International, 1999
  25. C. Schlenoff, M. Gruninger, F. Tissot, J. Valois, J. Lubell, and J. Lee. The Process Specification Language (PSL) Overview and Version 1.0 Specification, NISTIR 6459, National Institute of Standards and Technology, Gaithersburg, MD, 2000
  26. M. Gruninger. Ontology of the Process Specification Language. In Handbook on Ontologies in Information Systems, R. Studer and S. Staab (eds.). Springer-Verlag, 2003
  27. C.A.R. Hoare. Communicating Sequential Processes, Communications of ACM, 21(8):666-677, 1978
  28. M. Gruninger. Applications of PSL To Semantic Web Services.
  29. B. Pierce. Foundational Calculi for Programming Languages.
  30. W.M.P. van der Aalst, P. Barthelmess, C.A. Ellis, and J. Wainer. Proclets: A Framework for Lightweight Interacting Workflow Processes. International Journal of Cooperative Information Systems, 10(4):443-482, 2001
  31. X. Fu, T. Bultan, and J. Su. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. Proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA), Santa Barbara, CA, USA, July 2003
  32. S. McIlraith, T. Son, and H. Zeng. Mobilizing the Web with DAML-Enabled Web Services/ The Second International Workshop on the Semantic Web (SemWeb'2001), May 2001
  33. S. McIlraith and T. Son. Adapting Golog for Composition of Semantic Web Services. Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), April 2002
  34. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. 18th IEEE International Conference on Automated Software Engineering, Montreal, Quebec, Canada, October 2003
  35. S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. Proc. 11th International World Wide Web Conference, May 2002

Supplementary Readings

  1. J. Bloomberg. The Seven Principles of Service-Oriented Development, XML & Web Services, August 2002
  2. A Conversation with Adam Bosworth. ACM Queue, 1(1):12-21, March 2003
  3. A. Arsanjani, B. Hailpern, J. Martin, and P. Tarr. Web Services: Promises and Compromises. ACM Queue, 1(1):48-58, March 2003
  4. R. T. Rust, P.K. Kannan. E-service: a new paradigm for business in the electronic environment. Communications of the ACM, 46(6):36-42, June 2003
  5. F. Leymann. Web Services:Distributed Applications without Limits (Presentation slides)
  6. A. Brown, M. Fuchs, J. Robie, and P. Wadler. MSL, A model for W3C XML Schema. Proceedings of 10th International World Wide Web Conference, May 2001
  7. P. Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Pattern Based Analysis of BPEL4WS. Technical Report FIT-TR-2002-04, Queensland University of Technology
  8. W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and P. Wohed. Pattern Based Analysis of BPML (and WSCI).
  9. W.M.P. van der Aalst. Don't go with the flow: Web services composition standards exposed.
  10. S. Staab, W. van der Aalst, V.R. Benjamins, A. Sheth, J.A. Miller, C. Bussler, A. Maedche, D. Fensel, and D. Gannon. Web Services: Been There, Done That? IEEE Intelligent Systems, 18(a):72-85, 2002
  11. A. Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold. Matchmaking for Business Processes. IEEE International Conference on E-Commerce, 2003
  12. C.A.R. Hoare. Communicating Sequential Processes
  13. B. C. Pierce and D. Sangiorgi. Behavioral Equivalence in the Polymorphic Pi-Calculus.
  14. V.M.P. van der Aalst. Woflan: A Petri-net-based Workflow Analyzer. Systems Analysis, Modeling, Simulation, 35(3):345-357, 1999
  15. W. M. P. van der Aalst and A. H. M. ter Hofstede. Verification of Workflow Task Structures: A Petri-Net-Based Approach. Information Systems, 25(1):43-69, 2000
  16. R. Hamadi and B. Benatallah. A Petri Net-based Model for Web Service Composition. Proc. of the Fourteenth Australasian Database Conference on Database Technologies, 2003

Standards and Tutorials

  1. XML (http://www.w3c.org/XML) and XML tutorial ( http://www.w3schools.com/xml)
  2. XPath ( http://www.w3.org/TR/xpath) and XPath tutorial ( http://www.w3schools.com/xpath)
  3. XML Schema ( http://www.w3.org/XML/Schema) and XML Schema tutorial ( http://www.w3schools.com/schema)
  4. SOAP ( http://www.w3.org/TR/soap/) and SOAP tutorial ( http://www.w3schools.com/soap)
  5. Web Services Description Language (WSDL) 1.1 (http://www.w3.org/TR/wsdl/), Version 2.0 (http://www.w3.org/TR/wsdl20/) and WSDL tutorial ( http://www.w3schools.com/wsdl/)
  6. Web Service Conversation Language (WSCL) (http://www.w3.org/TR/2002/NOTE-wscl10-20020314/)
  7. Business Process Execution Language for Web Services (BPEL4WS),
    Version 1.1 (http://www.ibm.com/developerworks/library/ws-bpel/)
    Tutorial (pdf) (http://www.collaxa.com/tutorials/BPEL-DataManipulationTutorial.pdf)
    Learning guide/BPEL servers/tools (http://searchwebservices.techtarget.com/originalContent/0,289142,sid26_gci880731,00.html)
  8. Web Service Choreography Interface (WSCI) 1.0 (http://www.w3.org/TR/wsci/)
  9. DAML-S/OWL-S (http://www.daml.org/services/owl-s/)
    Technical Overview (http://www.daml.org/services/owl-s/1.0/owl-s.pdf)
  10. Process Specification Language (PSL) (http://www.mel.nist.gov/psl/)
  11. Common Object Request Broker Architecture (CORBA/IIOP) (http://www.omg.org/technology/documents/corba_spec_catalog.htm)
    Overview (http://www.cs.wustl.edu/~schmidt/corba-overview.html)
    Tutorials (http://www.cs.wustl.edu/~schmidt/tutorials-corba.html)
  12. Web Services Choreography Definition Language Version 1.0 (http://www.w3.org/TR/ws-cdl-10/)
    Web Services Choreography Working Group (http://www.w3.org/2002/ws/chor/)

Online Resources

  1. Semantic Web Services Language (SWSL) Committee http://www.daml.org/services/swsl/
  2. Semantic Web Services Initiative (SWSI) http://www.swsi.org/
  3. Web Services Choreography Working Group http://www.w3.org/2002/ws/chor/
  4. SDK WSMO working group http://www.wsmo.org/

Related Conferences

  1. International World Wide Web Conferences
  2. International Conference on Web Services
  3. International Conference on Service Oriented Computing
  4. International Conference on Web Engineering

Other related links

  1. ACM Queue, Volume 1, Number 1, March 2003
  2. Communications of the ACM, Volume 46, Number 6, June 2003
  3. Communications of the ACM, Volume 46, Number 10, October 2003
  4. IEEE Computer, Volume 36, Number 10, October 2003
  5. D. Chappell and T. Hong Making Web Services More Flexible. XML & Web Services, February 2003
  6. S. J. Johnston. Web Services Wars Take Artistic Turn. XML & Web Services, October 2002
  7. Y. Shohoud. Getting the Web Services You Need. XML & Web Services, June 2001