中文XML论坛--苏建文教授“Web服务”课程 PPT 与阅读资料下载

贴子主题：苏建文教授“Web服务”课程 PPT 与阅读资料下载

举报打印推荐 IE收藏夹

本主题类别:

本次课程详情参见 http://dragonstar.ict.ac.cn/course_jwsu.htm

“龙星计划”复旦大学课程信息

上课时间：2004年9月6日－10日

授课地点：上海市，复旦大学逸夫楼6楼报告厅

主讲人：苏建文教授（University of California at Santa Barbara）

联系人：唐恩美，021-55664335*816，emtang@fudan.edu.cn

Web Service Composition: Design and Analysis
Professor Jianwen Su

Department of Computer Science

University of California at Santa Barbara

September 2004

The World Wide Web has been very successful in providing an infrastructure for sharing data between ad hoc software systems that are designed for predictable runtime environments (data structures or representations, system platforms, etc.). The goal of web services is a framework to enable rich, flexible, and dynamic interoperation of highly distributed and heterogeneous software systems and processes over the Internet. Such a framework is a key to meeting the challenge of managing a growing number of software components and to compose even more complex systems. An initial step has been taken by the IT industry and research communities to “encapsulate” software systems and processes as “Web services” defined in various forms (WSDL, BPEL, OWL-S, etc). Although web service development platforms have been available such as Microsoft’s .Net, IBM’s WebSphere, Sun’s J2EE, etc., there is a substantial lack of suitable technology concerning, in particular, the design and analysis of interoperating Web services or web-hosted processes in order to achieve the goal. This course aims at the fundamental concepts, principles, and techniques related to web services and their composition through examining current web service standards and behavior models, studying issues concerning interactions of services and service discovery, and exploring techniques in analysis and automated design of composite Web services.

Text: Selected papers and online documents, lecture notes (ppt)

Course Outline:

1. Course overview

2. XML, XPath, XML Schema, SOAP

3. Modeling individual services

o WSDL

o WSCL, Mealy machines

o BPEL

o Parallel processes and statecharts

o Activity based models and OWL-S

o Statecharts and Petri nets

o Process Specification Language

4. Process Composition

o CSP and BPEL

o Pi-calculus and WSCI

o Mealy composition model

o Roman composition model

5. Automated composition

o Delegators

o Synthesis of conversation protocols

6. Composite service analysis

o LTL and model checking

o Verifying service properties


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	1,390.625ms