摘要： 提出面向高性能计算的轻量级移动代理模型，该模型基于模块化的思想，通过策略分布、策略组装等方式实现产生式重构迁移，从而达到轻量级。在研究已有移动语义的基础上，以工程实现为基础加以抽象，将代理平台之间的直接通信作为信道，通过产生式重构迁移的显式描述，给出基于pi演算的迁移语义的形式化描述。

关键词: 策略分布, 代理, 重构, 迁移语义

Abstract: Motivated by high-performance computing, this paper proposes a modular ligthweight mobile agent model. In the way of strategy distribution and assembly, this model realizes production reconfigurable migration, and achieves the goal of lightweight. Based on exsiting mobile semantics, advanced from practice, regarding direct communication between agents as channel, this paper puts forward formal description of migration semantic via explicitly describing the production reconfigurable migration.

Key words: strategy distribution, agent, reconfiguration, migration semantic

中图分类号: 

• TP317