Web服务业务流程一致性验证

• 作者: 吴明晖 应晶 熊向辉
• 来源期刊: 计算机应用研究
• 关键词: Web服务编排 Web服务编制 Web服务编排描述语言 Web服务业务流程执行语言 通信序列进程 一致性
• 年，卷（期）: 2010,（10）
• 页码范围: 3758-3762
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.10.041

摘要

在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题.提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description language)和Web服务编制规范WS-BPEL(Web service business process execution language)间的一致性验证方法.该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴明晖	浙江大学城市学院计算机科学与工程学系	59	853	14.0	28.0
2	熊向辉	浙江大学城市学院计算机科学与工程学系	2	7	1.0	2.0
3	应晶	浙江大学城市学院计算机科学与工程学系	40	860	14.0	29.0