Formal Language Description of Mobile Agent´s Theory Model

Agent and multi-agent system are advanced study field. Based on implicit autonomy and self-adaptability of agent, they have a series of study fruit in constructing complex system. This paper describes the theory model of mobile agent which is described by formal language, and gives every cognition component a semantic definition. Certain basic theory of mobile agent´s computing is given. It gives out every semantic definition in the new agent system structure, and analyzes how the agent computing based on the system structure. Finally we discuss and verify the vivid and secure properties. In this paper, a good foundation to research the theory of agent computing is given. This paper offers the theoretical research plan in agent computation, and it´ll make a foundation to build agent computational formal theory model