会议专题

Formal Language Description of Mobile Agent

With the development of distributing targets technology, network technology, especially WWW, software system inclines to network calculates and action-oriented parts.The agent-oriented soft project is based on object-oriented and distributed computer technology to construct soft system, and it endows calculate entity more agility, independence and character of socialization. This paper relates the research of theory model for agent. The theory model of mobile Agent is described by formal language in this paper. And gives every cognition component a semantic definition. Certain basic theory of mobile Agents 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. The paper gives a good foundation to research the theory of Agent computing.

Agent Intentional system Belief Capability Commitment

HUA Zhen CHU Yongli SUN Jing ZHANG Yong WANG Yanqian MAN Shushuang

School of Information and Electronic Engineering Shandong Institute of Business and Technology Yanta Department of Mathematics/Computer Science Southwest Minnesota State University Marshall, MN 56258,

国际会议

第一届国际计算机新科技与教育学术会议(Proceedings of the First International Conference on Computer Science & Education ICCSE2006)

厦门

英文

683-685

2006-07-27(万方平台首次上网日期,不代表论文的发表时间)