英文摘要 | Analysis of agent system is an interesting work, which involves in agent mental and social behaviors. The agent mental model is represented with BDI model. Various kinds of agent social behaviors such as interaction, coordination and cooperation are completed by communication acts. The design of agent mental and behaviors is key to multi-agent system's; design. For it, we present a method to describe agent mental and behaviors, we call it as AOPN(Agent-Oriented Petri nets). This method makes a basis on Petri nets, absorbs the object-oriented ideas, and takes agent BDI model as a template to complete analysis of agent mental and social behaviors. We believe the development based on model will increase software reuse, strengthen software reliability and diminish system error. So in the former part of the thesis, we present a design template of agents. This template consists of five parts: receiving message part, sending message part, message disposing part, method invocation and BDI model. The five parts cover with the general characteristics of agent, so it is fit for describing general agents. Base on the agent template, we discuss the agent social behaviors, such as information ,exchange, method invocation and so on. We describe the interactions among agents in the WAVES system by the simplified AOPN template. We use conversation to present complicate information exchange. In the conversation, we define topics. The topic is an unit of information exchange. A complicate information exchange can be realized by topics. The agent social behaviors include agent coordination. In this system, we mainly focus on the experiment services assignment. Here we adopt Contract Net protocol. In using the Contract Net, we make some modification for it. We add task selection algorithm and agent bids evaluation algorithm. The modified Contract Net protocol will accomplish the tasks more efficiently. As for agent mobility, we analyze it by the AOPN method. The analysis issues are displayed ',as followings: agent migration model, agent arrival model, initiating migration model, passive migration model and interaction between mobile agent and host or other agents. To test the system model, an experiment of controlling a rod is conducted. The experiment results verify the performance of the system. |
修改评论