Developing agent interaction protocols graphically and logically
Developing agent interaction protocols graphically and logically
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 verification 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 specification and intuitive development by: (1) proposing an extended form of propositional dynamic logic for expressing protocols completely, with clear semantics, that can be converted to a programming language for interaction protocols and (2) developing extended statecharts as a diagrammatic counterpart.
45-54
Paurobally, S.
93a6fea7-9403-4c14-86bc-947907b7df48
Cunningham, J.
fd894379-e9f8-4eea-8ce7-084157de060d
Jennings, N. R.
ab3d94cc-247c-4545-9d1e-65873d6cdb30
2003
Paurobally, S.
93a6fea7-9403-4c14-86bc-947907b7df48
Cunningham, J.
fd894379-e9f8-4eea-8ce7-084157de060d
Jennings, N. R.
ab3d94cc-247c-4545-9d1e-65873d6cdb30
Paurobally, S., Cunningham, J. and Jennings, N. R.
(2003)
Developing agent interaction protocols graphically and logically.
!st International Workshop on Programming Multi-Agent Systems, Melbourne, Australia.
.
Record type:
Conference or Workshop Item
(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 verification 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 specification and intuitive development by: (1) proposing an extended form of propositional dynamic logic for expressing protocols completely, with clear semantics, that can be converted to a programming language for interaction protocols and (2) developing extended statecharts as a diagrammatic counterpart.
Text
promas03.pdf
- Other
More information
Published date: 2003
Additional Information:
Event Dates: 2003
Venue - Dates:
!st International Workshop on Programming Multi-Agent Systems, Melbourne, Australia, 2003-01-01
Organisations:
Agents, Interactions & Complexity
Identifiers
Local EPrints ID: 258546
URI: http://eprints.soton.ac.uk/id/eprint/258546
PURE UUID: cfbbc9d4-af21-4652-81e7-134f21a1db09
Catalogue record
Date deposited: 14 Nov 2003
Last modified: 14 Mar 2024 06:10
Export record
Contributors
Author:
S. Paurobally
Author:
J. Cunningham
Author:
N. R. Jennings
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics