- 1、本文档共34页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Web Services Platform description Summary Business Process Languages
A formal semantics
for Web Services interaction
MeFoSyLoMa
June 3rd, 2005
Sylvain Rampacek
sylvain.rampacek@univ-reims.fr
CReSTIC – LAMSADE
PhD thesis, supervisors :
Serge Haddad – LAMSADE
Patrice Moreaux – CReSTIC
Sylvain Rampacek A formal semantics for Web Services interaction
CReSTIC – LAMSADE 2 MeFoSyLoMa – June 3rd, 2005
Summary
Introduction
Web Services
Platform description
Business Process Languages
XLANG and BPEL4WS
Formal Semantics
Interaction Relation
Client Generation
From Discrete Time to Dense Time
Conclusion
Sylvain Rampacek A formal semantics for Web Services interaction
CReSTIC – LAMSADE 3 MeFoSyLoMa – June 3rd, 2005
Introduction
Sylvain Rampacek A formal semantics for Web Services interaction
CReSTIC – LAMSADE 4 MeFoSyLoMa – June 3rd, 2005
Web Services Context
Distributed system (a service ≠ a server)
Interoperability (XML, SOAP, WSDL, ...)
Heterogeneous management :
Supplementary level (keep the business level)
Evolution of object based distributed systems
Service oriented architecture (SOA)
Sylvain Rampacek A formal semantics for Web Services interaction
CReSTIC – LAMSADE 5 MeFoSyLoMa – June 3rd, 2005
Web Services Architecture
UDDI
directory
CLIENT
Services Provider
Publishes the
WSDL description
Asks for service
localisation
Sends the
WSDL description
SOAP
HTTP, FTP, etc.
Web Service Interaction
Sylvain Rampacek A formal semantics for Web Services interaction
CReSTIC – LAMSADE 6 MeFoSyLoMa – June 3rd, 2005
SOAP
- Simple Object Access Protocol -
Represents data
XML Based
2 parts :
protocol header : for the
transport level
SOAP Envelop :
SOAP Header :
intermediary nodes and
their roles
SOAP Body : “data” in
specific language (e.g.
RPC)
Protocol Header
SOAP Envelop
SOAP Header
SOAP Body
Sylvain Rampacek A formal semantics for Web Services interaction
CReSTIC – LAMSADE 7 MeFoSyLoMa – June 3rd, 2005
WSDL
- Web Services Description Language -
A kind of interface of the service
XML based
Describes :
name-spaces
messages
operations (input and ou
您可能关注的文档
- The_Fundamentals_of_Memory_Testing_V12.pdf
- the补充财务资料guidedownload大新金融集团有限公司.pdf
- Thoughts on Teaching Software Quality Engineering.pdf
- thomas aquinas on being and essence.pdf
- Three heavy jet events at hadron colliders as a sensitive probe of the Higgs sector.pdf
- Thyroid Stem Cells and Cancer.pdf
- Tide and Tidal Current in the Yellow-East China Sea.pdf
- TIG焊枪及配件(氩弧焊).pdf
- Time based competition - PDF.pdf
- Time Variability of Low Angular Momentum Flows Accreting onto Black Holes A Natural Mechani.pdf
- 2024年江西省高考政治试卷真题(含答案逐题解析).pdf
- 2025年四川省新高考八省适应性联考模拟演练(二)物理试卷(含答案详解).pdf
- 2025年四川省新高考八省适应性联考模拟演练(二)地理试卷(含答案详解).pdf
- 2024年内蒙通辽市中考化学试卷(含答案逐题解析).docx
- 2024年四川省攀枝花市中考化学试卷真题(含答案详解).docx
- (一模)长春市2025届高三质量监测(一)化学试卷(含答案).pdf
- 2024年安徽省高考政治试卷(含答案逐题解析).pdf
- (一模)长春市2025届高三质量监测(一)生物试卷(含答案).pdf
- 2024年湖南省高考政治试卷真题(含答案逐题解析).docx
- 2024年安徽省高考政治试卷(含答案逐题解析).docx
文档评论(0)