基于移动工作台的BPEL4WS死锁验证

• 作者: 宋艳 高春鸣
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Web服务的业务流程执行语言 π-演算 移动工作台 死锁验证
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 92-94,97
• 页数: 4页
• 分类号: TP393
• 字数: 4085字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.01.031

摘要

描述了将Web服务业务流程执行语言(BPEL4WS)映射到π-演算的自动映射方法,对得到的π-演算表达式利用移动工作台(MWB)进行死锁验证,并给出一个具体示例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高春鸣	湖南师范大学数学与计算机科学学院	44	368	12.0	17.0
2	宋艳	湖南师范大学数学与计算机科学学院	2	14	2.0	2.0