肱骨干骨折康复:Web Service Composition: Design and Analysis - 飞茂 - 博客园
来源:百度文库 编辑:九乡新闻网 时间:2024/05/13 15:48:27
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
Web Service Composition: Design and Analysis - 飞茂 - 博客园
Web-based user experience optimization and website design
使用Axis开发Web Service程序-月光博客
Web Service调用方式大全
Tom Williams, volume spread analysis and Trad...
Web Service与SOA 关系区别
web service之axis(一)111
web service之axis(一)222
Mule 3.0之Web Service Proxy555
Mule 3.0之Web Service Proxy
web cl and cl and cscl
峰谷分析(peak?and?trough?analysis)
峰谷分析(peak and trough analysis)
design
bluetooth control panel service pack 1 and librery setting
《Microsoft SQL Server 2008 Analysis Services Step by Step》学习笔记二 - 邀月工作室 - 博客园
《Microsoft SQL Server 2008 Analysis Services Step by Step》学习笔记三 - 邀月工作室 - 博客园
Performance Analysis of CDMA WLL Systems with Imperfect Power Control and Imperfect Sectorization
Epidemiological analysis and classification of the health status of pig herds
NO Code直接根据Wsdl生成SOAP报文,发送http请求调用web service...
使用 RESTlet 框架开发符合 JSR311 规范标准的 REST Web Service
旋转式室温磁制冷机永磁磁路的设计及优化 Design and Optimization o...
100张超酷的自拍照[Jackchen Design 1984博客]
Roy Fielding REST论文“Architectural Styles and the Design of Network-based Software Architectures”的第 5