| 基于进程代数WS-CDL交互模式建模研究 |
| |
| 引用本文： | 袁晓月,万珍珍,冯星.基于进程代数WS-CDL交互模式建模研究[J].江西科学,2014,32(6):878-883. |
| |
| 作者姓名： | 袁晓月 万珍珍 冯星 |
| |
| 作者单位： | 江西省科学院应用物理研究所,330029,南昌市 |
| |
| 摘 要： | 基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。
|
| 关 键 词： | WS—CDL 进程代数 形式化方法 |
Modeling the Patterns of WS-CDL Interactions Based on Process Algebra |
| |
| YUAN Xiaoyue,WAN Zhenzhen,FENG Xing.Modeling the Patterns of WS-CDL Interactions Based on Process Algebra[J].Jiangxi Science,2014,32(6):878-883. |
| |
| Authors: | YUAN Xiaoyue WAN Zhenzhen FENG Xing |
| |
| Institution: | ( Jiangxi Academy of Science. Institute of Applicative Physics ,330029, Nanchang, PRC) |
| |
| Abstract: | |
| |
| Keywords: | WS-CDL process algebra formal methods |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
