Web Service Composition: Design and Analysis
PPT
OverviewXML+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.- Overview
- XML and XPath
- DTD and XML Schema
- SOAP
- WSDL
- BPEL
- OWL-S. Reference: [23]
- Process Specification Language. References: [24] [25] [26] [28]
- Service Composition. References: [27] [29, Section 3] [19] [20] [30]
- Design and Analysis. References: [20] [31] [32] [33]
Primary Readings
- 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
- C. Ferris and J. Farrell. What are Web services? Communications of the ACM, 46(6):31, June 2003
- M. Burner. The Deliberate Revolution: Transforming Integration With XML Web Services. ACM Queue, 1(1):28-37, March 2003
- H. Kreger. Fulfilling the Web services promise. Communications of the ACM, 46(6):29-34, June 2003
- 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
- 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
- M. Turner, D. Budgen, and P. Brereton. Turning Software into a Service. IEEE Computer, 36(10):38-44, October 2003
- C. Peltz. Web Services Orchestration and Choreography. IEEE Computer, 36(10):46-52, October 2003
- L. G. Meredith and S. Bjorg. Contracts and types. Communications of the ACM, 46(10):41-47, October 2003
- S. Kleijnen and S. Raju. An Open Web Services Architecture. ACM Queue, 1(1):38-46, March 2003
- J. Williams, The Web services debate: J2EE vs. .NET. Communications of the ACM, 46(6):58-63, June 2003
- G. Miller. The Web services debate: .NET vs. J2EE. Communications of the ACM, 46(6):64-67, June 2003
- C. Vincent. Scripting Web Service Prototypes. ACM Queue, 1(1):22-27, March 2003
- T. Thompson, R. Weil, and M. D. Wood. CPXe: Web Services for Internet Imaging. IEEE Computer, 36(10):54-62, October 2003
- 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
- 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
- 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
- S. Kumaran and P. Nandi. Dynamic e-Business Using BPEL4WS, WS-Coordination, WS-Transaction, and Conversation Support for Web Services.
- 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
- 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
- D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987
- T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4), 1989
- The OWL Service Coalition. OWL-S: Semantic Markup for Web Services, 2003
- 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
- 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
- M. Gruninger. Ontology of the Process Specification Language. In Handbook on Ontologies in Information Systems, R. Studer and S. Staab (eds.). Springer-Verlag, 2003
- C.A.R. Hoare. Communicating Sequential Processes, Communications of ACM, 21(8):666-677, 1978
- M. Gruninger. Applications of PSL To Semantic Web Services.
- B. Pierce. Foundational Calculi for Programming Languages.
- 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
- 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
- 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
- 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
- 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
- S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. Proc. 11th International World Wide Web Conference, May 2002
Supplementary Readings
- J. Bloomberg. The Seven Principles of Service-Oriented Development, XML & Web Services, August 2002
- A Conversation with Adam Bosworth. ACM Queue, 1(1):12-21, March 2003
- A. Arsanjani, B. Hailpern, J. Martin, and P. Tarr. Web Services: Promises and Compromises. ACM Queue, 1(1):48-58, March 2003
- 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
- F. Leymann. Web Services:Distributed Applications without Limits (Presentation slides)
- 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
- 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
- W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and P. Wohed. Pattern Based Analysis of BPML (and WSCI).
- W.M.P. van der Aalst. Don't go with the flow: Web services composition standards exposed.
- 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
- A. Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold. Matchmaking for Business Processes. IEEE International Conference on E-Commerce, 2003
- C.A.R. Hoare. Communicating Sequential Processes
- B. C. Pierce and D. Sangiorgi. Behavioral Equivalence in the Polymorphic Pi-Calculus.
- V.M.P. van der Aalst. Woflan: A Petri-net-based Workflow Analyzer. Systems Analysis, Modeling, Simulation, 35(3):345-357, 1999
- 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
- 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
- XML (http://www.w3c.org/XML) and XML tutorial ( http://www.w3schools.com/xml)
- XPath ( http://www.w3.org/TR/xpath) and XPath tutorial ( http://www.w3schools.com/xpath)
- XML Schema ( http://www.w3.org/XML/Schema) and XML Schema tutorial ( http://www.w3schools.com/schema)
- SOAP ( http://www.w3.org/TR/soap/) and SOAP tutorial ( http://www.w3schools.com/soap)
- 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/)
- Web Service Conversation Language (WSCL) (http://www.w3.org/TR/2002/NOTE-wscl10-20020314/)
- 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) - Web Service Choreography Interface (WSCI) 1.0 (http://www.w3.org/TR/wsci/)
- 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) - Process Specification Language (PSL) (http://www.mel.nist.gov/psl/)
- 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) - 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
- Semantic Web Services Language (SWSL) Committee http://www.daml.org/services/swsl/
- Semantic Web Services Initiative (SWSI) http://www.swsi.org/
- Web Services Choreography Working Group http://www.w3.org/2002/ws/chor/
- SDK WSMO working group http://www.wsmo.org/
Related Conferences
- International World Wide Web Conferences
- International Conference on Web Services
- International Conference on Service Oriented Computing
- International Conference on Web Engineering
Other related links
- ACM Queue, Volume 1, Number 1, March 2003
- Communications of the ACM, Volume 46, Number 6, June 2003
- Communications of the ACM, Volume 46, Number 10, October 2003
- IEEE Computer, Volume 36, Number 10, October 2003
- D. Chappell and T. Hong Making Web Services More Flexible. XML & Web Services, February 2003
- S. J. Johnston. Web Services Wars Take Artistic Turn. XML & Web Services, October 2002
- Y. Shohoud. Getting the Web Services You Need. XML & Web Services, June 2001