基于π-演算的web服务流的分析与建模

• 作者: 何涛 缪淮扣 钱忠胜
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: BPEL web服务 工作流 π-演算
• 年，卷（期）: 2006,（3）
• 页码范围: 315-318
• 页数: 4页
• 分类号: TP3
• 字数: 513字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2006.03.006

摘要

为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	钱忠胜	上海大学计算机工程与科学学院	8	70	6.0	8.0
3	何涛	上海大学计算机工程与科学学院	10	45	3.0	6.0