A specification language for coordination in agent systems
[S.l.] : Institute of Electrical and Electronics Engineers (IEEE)
In2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07), pp. 252-256
2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07), Fremont, CA, 2-5 Nov. 2007
Article in monograph or in proceedings
Display more detailsDisplay less details
SW OZ BSI CW
2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'07)
SubjectCommunication and Media
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.
This item appears in the following Collection(s)
- Non RU Publications 
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.