MAS-based dynamic web service composition formal model  

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

作　　者：徐东红[1] 齐勇[1] 候迪[1] 沈林峰[1] 杜小智[1] 王功震[1] 

机构地区：[1]西安交通大学电子与信息工程学院,西安710049

出　　处：《Journal of Southeast University(English Edition)》2008年第3期289-292,共4页东南大学学报（英文版）

基　　金：The National Natural Science Foundation of China(No.90612014);IBM China Research Lab Joint Project

摘　　要：Applying dynamic web services composition is one of the important schemas for solving service-oriented architecture （SOA）and service-oriented computing（SOC）.For implementing dynamic web services composition,the multi agent system （MAS）is applied to web services composition.First, the essentials of the MAS and web services composition are analyzed and their relationship is discussed.Secondly, an MAS-based architecture is designed for dynamic web services composition,and it is named as CSMWC.A Jade tool is used to implement the major components.The architecture can primarily implement syntactic level dynamic web services composition,and it gives a basis for semantic level dynamic web services composition.For specifying the correctness of the architecture,by using pi-calculus,the architecture of the MAS is formally described,and its dynamic properties and adaptability are reasoned.Finally,it demonstrates the idea proposed by the Pi4SOA tool.动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.

关 键 词：dynamic web service composition MAS（multi agent system） PI-CALCULUS process calculus Pi4SOA 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]