|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07)
A Specification Language for Coordination in Agent Systems
Silicon Valley, California, USA
November 02-November 05
ISBN: 0-7695-3027-3
| ASCII Text | x | ||
| Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Treur, "A Specification Language for Coordination in Agent Systems," Intelligent Agent Technology, IEEE / WIC / ACM International Conference on, pp. 252-256, 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07), 2007. | |||
| BibTex | x | ||
| @article{ 10.1109/IAT.2007.34, author = {Tibor Bosse and Mark Hoogendoorn and Radu Serban and Jan Treur}, title = {A Specification Language for Coordination in Agent Systems}, journal ={Intelligent Agent Technology, IEEE / WIC / ACM International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-3027-3}, pages = {252-256}, doi = {http://doi.ieeecomputersociety.org/10.1109/IAT.2007.34}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Intelligent Agent Technology, IEEE / WIC / ACM International Conference on TI - A Specification Language for Coordination in Agent Systems SN - 0-7695-3027-3 SP252 EP256 A1 - Tibor Bosse, A1 - Mark Hoogendoorn, A1 - Radu Serban, A1 - Jan Treur, PY - 2007 KW - null VL - 0 JA - Intelligent Agent Technology, IEEE / WIC / ACM International Conference on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IAT.2007.34
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.
Citation:
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Treur, "A Specification Language for Coordination in Agent Systems," iat, pp.252-256, 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.