论文部分内容阅读
采用形式化描述Web服务组合,从很大程度上推动了Web服务组合技术的实际应用.但现有的Web服务组合形式化建模方法在利用形式化工具时,均未很好地解决建模的层次性问题.为解决上述问题,提出了将Web服务组合问题映射为一个基于移动Agent的层次化服务组合模型,系统模型分为系统服务层和Agent层.模型设计克分体现了移动Agent的移动性、自主性以及系统层(移动Agent运行环境)的控制性.最后给出实例说明该方法.