Specification of Multi-Agent Systems in the Gamma Language

Download
  1. (PDF, 324 KB)
AuthorSearch for: ; Search for:
TypeArticle
ConferenceProceedings of the IEEE 19th Annual Canadian Conference on Electrical and Computer Engineering (CCECE05), May 7-10, 2006., Ottawa, Ontario, Canada
Subjectmulti-agent systems; the chemical reaction models; program specification; distributed systems; software architecture
AbstractThe 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
LanguageEnglish
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedNo
NRC number48476
NPARC number5765410
Export citationExport as RIS
Report a correctionReport a correction
Record identifier6a7daed7-75b0-4529-a4e1-ae03218ee93d
Record created2009-03-29
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)