Specification of Multi-Agent Systems in the Gamma Language

The suitability of using chemical reaction metaphor (CRM) to model multi-agent systems (MASs) is justified by CRM´s capacity in specifying dynamic features of multi-agent systems. This paper presents a case study that demonstrates the applications of CRM in specifying multi-agent systems. The case study is the specification of a navigation training system. Given the dynamic and concurrent nature of multi-agent systems, we find that the chemical reaction metaphor provides a mechanism for describing the overall architecture of the distributed multi-agent systems precisely and concisely, while giving the design of the real system a solid starting point and allowing step-by-step refinement of the system using transformational methods