Developing agent interaction protocols graphically and logically
OA Location
Author(s)
Paurobally, S
Cunningham, J
Jennings, NR
Type
Conference Paper
Abstract
Although interaction protocols are often part of multi-agent infrastructures, many of the published protocols are semi- formal, vague or contain errors. Formal presentations can counter such disadvantages since they are amenable to ver- ication of correctness. On the other hand, a diagrammatic representation of system structure is easier to comprehend. To this end, this paper bridges the gap between formal spec- ication and intuitive development by: (1) proposing an ex- tended form of propositional dynamic logic for expressing protocols completely, with clear semantics, that can be con- verted to a programming language for interaction protocols and (2) developing extended statecharts as a diagrammatic counterpart.
Date Issued
2003
Citation
2003, pp.45-54
Start Page
45
End Page
54
Identifier
http://eprints.soton.ac.uk/258546/
Source
!st International Workshop on Programming Multi-Agent Systems
Notes
Event Dates: 2003
Publication Status
Unpublished