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

• 作者: 万珍珍 冯星 袁晓月
• 来源期刊: 江西科学
• 关键词: WS-CDL 进程代数 形式化方法
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 信息科学
• 页码范围: 878-883
• 页数: 6页
• 分类号: TP301.2
• 语种: 中文
• DOI: 10.13990/j.issn1001-3679.2014.06.030

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁晓月	江西省科学院应用物理研究所	13	17	2.0	3.0
2	万珍珍	江西省科学院应用物理研究所	20	42	3.0	5.0
3	冯星	江西省科学院应用物理研究所	3	6	1.0	2.0