A Formal Specification and Method for MAS as a Distributed System

With the recent rapid growth of interest in Multi-Agent System (MAS), both in distributed artificial intelligence and software engineering, has come an associated difficulty concerning basic terms, concepts and corresponding formal methods. In this paper, a new definition of agent companying with soft gene and role is proposed. As a distributed system, a MAS formal method is presented.