基于TLA的Web服务组合研究

• 作者: 李迎春 王一飞 许迅
• 来源期刊: 微型机与应用
• 学科: 工学
• 关键词: TLA BPEL4WS Conversation模型 Web服务组合验证
• 年，卷（期）: 2010,（4）
• 页码范围: 38-40
• 分类号: TP393
• 字数: 3066字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-7720.2010.04.012

摘要

随着以Web服务为基础的面向服务的体系结构的发展,如何有效地组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为研究热点.简单介绍了Conversation模型的概念,利用该模型作为中介,将组合Web服务的BPEL描述转化为Conversation模型,再将Conversation模型转换为TLA表达式.并给出了具体的算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王一飞	盐城工学院信息工程学院	9	24	3.0	4.0
2	李迎春		1	0	0.0	0.0
3	许迅	盐城工学院信息工程学院	1	0	0.0	0.0