Web服务编排描述语言WS—CDL的形式化模型框架

计算机科学 ›› 2007, Vol. 34 ›› Issue (9): 5-11.

• 软件工程与数据库技术 • 上一篇下一篇

Web服务编排描述语言WS—CDL的形式化模型框架

辜希武卢正鼎

华中科技大学计算机科学技术学院,武汉430074

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金资助项目（项目编号：60403027）、湖北省自然科学基金（项目编号：2005ABA258）、软件工程重点实验室开放基金（项目编号：SKLSE0507）.

GU Xi-Wu, LU Zheng-Ding （College of Computer Science and Technology, Huazhong University of Science and Technology,Wuhan 430074）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言，WS-CDL缺乏形式化的模型和验证机制，难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL，包括语法、同构关系和操作语义，同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则，最后通过案例分析给出了全局和局部2个层次的模型验证方法。

关键词: Web服务编排描述语言 Web服务 Web服务组合

Abstract: The Web Service Choreography Description Language（WS-CDL） defines a set of rules for the collaborations and interactions between a group of Web services from a global view. As a XML-based descriptive language, WS-CDL lacks a formal model and verification

Key words: Web services choreography description language, Web service, Web service composition

辜希武卢正鼎. Web服务编排描述语言WS—CDL的形式化模型框架[J]. 计算机科学, 2007, 34(9): 5-11. https://doi.org/

GU Xi-Wu, LU Zheng-Ding （College of Computer Science and Technology, Huazhong University of Science and Technology,Wuhan 430074）. [J]. Computer Science, 2007, 34(9): 5-11. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Web服务编排描述语言WS—CDL的形式化模型框架

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0