|
1. |
Specification of Multi-Agent Systems in the Gamma Language
Lin, H.; Yang, C.;
Electrical and Computer Engineering, 2006. CCECE '06. Canadian Conference on
May 2006
Page(s):1372
-
1375
Abstract:
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
|