6. Conclusion
In this paper, we have developed an automated system to
generate MAS architecture and coordination from the user
requirements and domain knowledge. It is a formal
methodology which is developer independent i.e. it produces
same MAS architecture and coordination for the same set of
requirements and domain knowledge. The future work is to
include a verification module to check whether the developed
architecture satisfies the requirements. The module can work
at two levels, firstly after Requirements Analysis, it can check
whether the analysis satisfies main requirements, and secondly,
it can verify whether the MAS coordination satisfies main
requirements.