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.
- 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