神马文学网Web Service Composition: Design and Analysis
来源：百度文库 编辑：神马文学网 时间：2024/05/17 05:27:40
Web Service Composition: Design and Analysis
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.OverviewXML and XPathDTD and XML SchemaSOAPWSDLBPELOWL-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 2002A 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) Committeehttp://www.daml.org/services/swsl/ Semantic Web Services Initiative (SWSI)http://www.swsi.org/ Web Services Choreography Working Grouphttp://www.w3.org/2002/ws/chor/ SDK WSMO working grouphttp://www.wsmo.org/
Related Conferences
International World Wide Web ConferencesInternational Conference on Web ServicesInternational Conference on Service Oriented ComputingInternational Conference on Web Engineering
Other related links
ACM Queue, Volume 1, Number 1, March 2003Communications of the ACM, Volume 46, Number 6, June 2003Communications of the ACM, Volume 46, Number 10, October 2003IEEE Computer, Volume 36, Number 10, October 2003 D. Chappell and T. HongMaking 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
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.OverviewXML and XPathDTD and XML SchemaSOAPWSDLBPELOWL-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 2002A 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) Committeehttp://www.daml.org/services/swsl/ Semantic Web Services Initiative (SWSI)http://www.swsi.org/ Web Services Choreography Working Grouphttp://www.w3.org/2002/ws/chor/ SDK WSMO working grouphttp://www.wsmo.org/
Related Conferences
International World Wide Web ConferencesInternational Conference on Web ServicesInternational Conference on Service Oriented ComputingInternational Conference on Web Engineering
Other related links
ACM Queue, Volume 1, Number 1, March 2003Communications of the ACM, Volume 46, Number 6, June 2003Communications of the ACM, Volume 46, Number 10, October 2003IEEE Computer, Volume 36, Number 10, October 2003 D. Chappell and T. HongMaking 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
Web Service Composition: Design and Analysis
Slideshows In Web Design: When And How To Use Them
45 Sites, Free Icons And PSD Resources For Web-Design
SMIC : : Design Service
CScanGenner Design And Implement
Web Service“四长两短”
XML Web Service 基础
什么是Web Service
动态加载Web Service
Web Service入门
XML Web Service
Web Service入门
Web Service Software Factory
XML Web Service 基础
Web Service入门
Web Service 入门学习
Web service简介
Web service是什么？
什么是Web service?
Understanding and Using SWOT Analysis
Understanding and Using SWOT Analysis
Activity and Task Design Guidelines
Activity and Task Design Guidelines
gSOAP Calculator Service and Client