标题：基于移动Agent的服务组合的建模
作者：刘凤丽 刘忠山
作者单位：浙江理工大学信息学院，浙江 杭州 310018
关键字：Web服务组合，移动Agent，形式化模型，Petri网
摘要：采用形式化描述Web服务组合，从很大程度上推动了Web服务组合技术的实际应用。但现有的Web服务组合形式化建模方法在利用形式化工具时，均未很好地解决建模的层次性问题。为解决上述问题，提出了将Web服务组合问题映射为一个基于移动Agent的层次化服务组合模型，系统模型分为系统服务层和Agent层。模型设计充分体现了移动Agent的移动性、自主性以及系统层（移动Agent运行环境）的控制性。最后给出实例说明该方法。