Research On The Standardization Model And Specification Of Multi-Agent Systems Based On AOSE

With the development of network, the relation between software and network is becoming more and more close. The distributed system based on Internet became the mainstream of software applications. One of the most popular systems is the MAS-Multiagent system. In this thesis, a new strategy is put forward. It is used to improve the main constructing method of AOSE that is called specification method. All these research are based on the AOSE theory and the current standard system of MAS.The research of architecture of MAS is based on the practical applications. Just because the traditional theory of software engineering is not adapted to the MAS application fields, and the new rising method of AOSE is limited by the application environment and development abilities, developing a MAS system becomes a very difficult thing. The common method in many projects is to create standard architecture model according to some successful instances. Right now the abstract architecture standard of MAS is mainly offered by FIPA.Based on a deeply analyzing of current standard systems, this thesis made a logic mapping between abstract architecture for FIPA standard and specification or formalizing description. Using such a formalization language can make the process of specification easier, and create an Agent oriented bridge between the system design of MAS and developing.