Developing formal specifications to coordinate heterogeneous autonomous agents
- 27 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descriptions of the given agents in terms of their events that are significant for coordination, as well as (b) relationships among the events occurring in these skeletons. A natural question is how may the skeletons and relationships be produced in the first place. Parunak (1996) proposed a methodology for designing multiagent systems based on Dooley graphs (1976) from discourse analysis. We show how with a few key modifications, Dooley graphs can also be used to generate the skeletons and relationships required for coordination. This combines the benefits of an intuitive methodology with a formal and distributed framework for developing multiagent systems from autonomous agents.Keywords
This publication has 6 references indexed in Scilit:
- Commitments among autonomous agents in information-rich environmentsPublished by Springer Nature ,1997
- The Grammar of DiscoursePublished by Springer Nature ,1996
- Detecting causal relationships in distributed computations: In search of the holy grailDistributed Computing, 1994
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- An anatomy of speech notionsPublished by Walter de Gruyter GmbH ,1976