| Download | - View accepted manuscript: Specification of Multi-Agent Systems in the Gamma Language (PDF, 347 KiB)
|
|---|
| Author | Search for: Lin, H.; Search for: Yang, Chunsheng |
|---|
| Format | Text, Article |
|---|
| Conference | IEEE 19th Annual Canadian Conference on Electrical and Computer Engineering (CCECE05), May 7-10, 2006, Ottawa, Ontario, Canada |
|---|
| Subject | multi-agent systems; the chemical reaction models; program specification; distributed systems; software architecture |
|---|
| 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. |
|---|
| Publication date | 2006 |
|---|
| In | |
|---|
| Language | English |
|---|
| NRC number | NRCC 48476 |
|---|
| NPARC number | 5765410 |
|---|
| Export citation | Export as RIS |
|---|
| Report a correction | Report a correction (opens in a new tab) |
|---|
| Record identifier | 6a7daed7-75b0-4529-a4e1-ae03218ee93d |
|---|
| Record created | 2009-03-29 |
|---|
| Record modified | 2020-10-09 |
|---|
