论文部分内容阅读
基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义.基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义.相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模.最后,通过一个例子给出了PA4WS带来的好处.