基于进程代数WS-CDL交互模式建模研究  

Modeling the Patterns of WS-CDL Interactions Based on Process Algebra

作　　者：袁晓月[1] 万珍珍[1] 冯星[1] 

机构地区：[1]江西省科学院应用物理研究所,南昌市330029

出　　处：《江西科学》2014年第6期878-883,共6页Jiangxi Science

摘　　要：基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。The description of choreography, WS-CDL, is an interactive description from global view which lacks formal semantics. The formal syntax and semantics, Process Algebra for WS-CDL （PA4WS）, are proposed to describe WS-CDL. Particularly,the WorkUnit of WS-CDL is modeled in PA4WS. To model the composition of WS-CDL,the patterns of WS-CDL interaction including Interaction Based Information Alignment （IBIA） and asynchronous interactions are depicted. The benefits of PA4WS are exemplified by the snippets of WS-CDL and their descriptions of PA4WS.

关 键 词：WS—CDL 进程代数 形式化方法 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]