基于MAS系统的动态web服务组合形式化建模研究

• 作者: 候迪 刘勇 徐东红 杜小智 沈林峰 王苏震
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 动态web服务组合 MAS pi演算 进程代数 Pi4SOA
• 年，卷（期）: 2008,（3）
• 页码范围: 289-292
• 页数: 4页
• 分类号: TP301
• 字数: 335字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2008.03.009

摘要

动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘勇	西安交通大学电子与信息工程学院	158	1055	16.0	22.0
2	杜小智	西安交通大学电子与信息工程学院	12	43	4.0	6.0
3	候迪	西安交通大学电子与信息工程学院	3	9	2.0	3.0
4	徐东红	西安交通大学电子与信息工程学院	2	4	2.0	2.0
5	沈林峰	西安交通大学电子与信息工程学院	2	2	1.0	1.0
6	王苏震	西安交通大学电子与信息工程学院	1	2	1.0	1.0