Formalization of the abstract architecture of MAS based on FIPA specification

The FIPA specification of MAS (multi-agent system) is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an abstract architecture from the FIPA based MAS, and gives formalization about it.