A Formal Model forWeb Service Choreography Description Language (WS-CDL)

2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI:10.1109/ICWS.2006.3

Hongli Yang, Xiangpeng Zhao, Z. Qiu, G. Pu, Shuling Wang

引用次数: 89

Abstract

We propose a language CDL as a formal model of simplified WS-CDL. The operational semantics of CDL is given, and static validation and verification of choreographies is studied. Some properties of the proposed model are verified using the SPIN model-checker, which illustrates the potential usage and benefits of the formal model

查看原文本刊更多论文

web服务编排描述语言(WS-CDL)的正式模型

我们提出了一种语言CDL作为简化WS-CDL的正式模型。给出了CDL的操作语义，研究了编排的静态验证和验证。使用SPIN模型检查器验证了所提出模型的一些属性，这说明了正式模型的潜在用途和优点

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2006 IEEE International Conference on Web Services (ICWS'06)

自引率

0.00%

发文量