Web服务编排语言的分析与测试
Web服务编排描述语言(WS-CDL)是一种以全局视角来描述各个参与方行为的XML定义语言。本文回顾了我们研究小组近期在WS-CDL的分析和测试工作中的研究进展。提出了两种方法来辅助程序设计者设计高质量的 WS-CDL程序．其一是在设计阶段对WS-CDI程序进行分析从而帮助服务组合设计者尽早地发现程序的缺陷：其二是通过自动覆盖全路径测试帮助WS-CDL程序设计者在部署前有效地发现缺陷。 其中分析方法中提出了一种通用的基于关系演算的性质检验方法,该方法适用于类似于XML的程序的分析．我们已经将本文提出的方法实现了开源工具CDLChecker。
服务组合 Web服务编排描述语言 XML定义语言
肖浩 周镭 平静 王政 蒲戈光
计算机理论研究所 软件学院 华东师范大学，上海 200062
国内会议
哈尔滨
中文
545-554
2010-08-10（万方平台首次上网日期，不代表论文的发表时间）