计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
2期
11-13
,共3页
Web服务%进程代数%Web编排%形式化建模
Web服務%進程代數%Web編排%形式化建模
Web복무%진정대수%Web편배%형식화건모
Web services%process algebra%choreography of Web services%formal modeling
针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法(PA4WS),该方法新增WS-CDL工作单元描述算子,通过设置工作单元算子的卫式条件和循环条件来描述异步交互,进而完成对信息对齐交互的建模.
針對Web服務編排標準WS-CDL中信息對齊交互模式的異步特性,提齣瞭一種基于進程代數的Web服務編排方法(PA4WS),該方法新增WS-CDL工作單元描述算子,通過設置工作單元算子的衛式條件和循環條件來描述異步交互,進而完成對信息對齊交互的建模.
침대Web복무편배표준WS-CDL중신식대제교호모식적이보특성,제출료일충기우진정대수적Web복무편배방법(PA4WS),해방법신증WS-CDL공작단원묘술산자,통과설치공작단원산자적위식조건화순배조건래묘술이보교호,진이완성대신식대제교호적건모.
A Process Algebra for Web Service(PA4WS)is proposed to model asynchronous Interaction Based Information Alignment(IBIA)in WS-CDL of Web service choreography.PA4WS equips the operator of Work Unit of WS-CDL,which is convenient to describe asynchronous interaction by setting guard-condition and repeat-condition and IBIA.
