IEEE 19th Annual Canadian Conference on Electrical and Computer Engineering (CCECE05), May 7-10, 2006, Ottawa, Ontario, Canada
multi-agent systems; the chemical reaction models; program specification; distributed systems; software architecture
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.
Proceedings of the IEEE 19th Annual Canadian Conference on Electrical and Computer Engineering (CCECE05).