基于MAS系统的动态web服务组合形式化建模研究MAS-based dynamic web service composition formal model

作者：徐东红; 刘勇; 候迪; 沈林峰; 杜小智; 王苏震

来源：Journal of Southeast University (english Edition), 2008, (3): 289-292.

DOI：10.3969/j.issn.1003-7985.2008.03.009

• 动态web服务组合
• MAS
• pi演算
• 进程代数
• Pi4SOA

动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS

• 单位
  西安交通大学