10.3969/j.issn.1002-137X.2009.05.038
WS-CDL的形式化模型和执行过程研究
WS-CDL以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则.但是WS-CDL没有形式化的模型,也没有定义执行过程.提出了一种为WS-CDL建立全局模型的方法,定义了语法和语义,然后将全局模型映射到局部模型,并且定义了全局执行过程,最后讨论了一致性问题.
Web服务编排描述语言、Web服务组合、一致性
36
TP311(计算技术、计算机技术)
重庆市自然科学基金重点项目"软件测试技术和方法研究"CSTC,2006BA2003支持
2009-06-09(万方平台首次上网日期,不代表论文的发表时间)
共4页
151-153,162