A Specification Language for Coordination in Agent Systems

This paper introduces an executable coordination specification language, with which both pre-specified and more flexible and generic agent coordination approaches can be expressed. An iterative process was taken to define this language. First, useful language elements were defined, after which examp...

Full description

Saved in:
Bibliographic Details
Main Authors: Bosse, T., Hoogendoorn, M., Serban, R., Treur, J.
Format: Conference Proceeding
Language:English
Subjects:
Artificial intelligence
Formal verification
Intelligent agent
Performance evaluation
Software systems
Specification languages
State estimation
Testing
Voting
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper introduces an executable coordination specification language, with which both pre-specified and more flexible and generic agent coordination approaches can be expressed. An iterative process was taken to define this language. First, useful language elements were defined, after which example coordination approaches were specified using this language. The language was extended incrementally with new language elements whenever new concepts were required to enable specification of the example coordination approaches. The approaches were simulated and tested using particular test cases. Finally, an evaluation of the coordination approaches was performed by means of formal verification.
DOI:10.1109/IAT.2007.34