WS—CDL的形式化模型和执行过程研究

计算机科学 ›› 2009, Vol. 36 ›› Issue (5): 151-153.

WS—CDL的形式化模型和执行过程研究

梁智远张为群黄娟

西南大学计算机与信息科学学院,重庆400715

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受到重庆市自然科学基金重点项目“软件测试技术和方法研究”（CSTC,2006BA2003）支持.

LIANG Zhi-yuan ZHANG Wei-qun HUANG Juan （College of Computer and Information Science, Southwest University, Chongqing 400715,China）

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

摘要/Abstract

摘要： WS-CDL以全局的视角描述了基于交互的各个服务之间的组合方式，定义了公共和互补的可观察行为，以及具有一致见解的顺序规则。但是WS-CDL没有形式化的模型，也没有定义执行过程。提出了一种为WS-CDL建立全局模型的方法，定义了语法和语义，然后将全局模型映射到局部模型，并且定义了全局执行过程，最后讨论了一致性问题。

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

Abstract: WSCDL describes the composition between interacting services from a global viewpoint, and specifies the common and complementary observable behavior, and the jointly agreed ordering rules. But WS-CDL lacks for formal model and implementation. This paper p

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

梁智远张为群黄娟. WS—CDL的形式化模型和执行过程研究[J]. 计算机科学, 2009, 36(5): 151-153. https://doi.org/

LIANG Zhi-yuan ZHANG Wei-qun HUANG Juan （College of Computer and Information Science, Southwest University, Chongqing 400715,China）. [J]. Computer Science, 2009, 36(5): 151-153. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed