基于接口自动机的BPEL4WS Web服务组合形式化模型

• 作者: 刘林源 苏焕程 黄志球
• 来源期刊: 计算机应用研究
• 关键词: 接口自动机 Web服务 Web服务组合 Web服务商业流程执行语言
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1774-1777
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.05.049

摘要

介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范--Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学信息科学与技术学院	183	1755	20.0	33.0
2	刘林源	南京航空航天大学信息科学与技术学院	6	59	5.0	6.0
3	苏焕程	南京航空航天大学信息科学与技术学院	1	9	1.0	1.0