MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Synthesizing coordination requirements for heterogeneous autonomous agents (2000) [11 citations — 0 self]

Download:
Download as a PDF | Download as a PS
by Munindar P. Singh
Autonomous Agents and Multi-Agent Systems
http://www.csc.ncsu.edu/faculty/mpsingh/papers/mas/jaamas-00-synthesis.ps.gz
Add To MetaCart

Abstract:

Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for engineering the coordination requirements of a multiagent system based on an analysis of conversation instances extracted from usage scenarios. This approach exploits the notion of Dooley graphs that were recently introduced to the multiagent systems community from the linguistics and discourse analysis literature. We show how, with a few key modifications, Dooley graphs can be used to generate coordination requirements and constraints on the behavior models of the agents participating in a multiagent system. Our present approach is embodied in the context of our recent work on a distributed coordination service for 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. It turns out that a methodology that begins with Dooley graphs can readily yield the skeletons and relationships needed to achieve the desired coordination. Consequently, our approach combines the benefits of an intuitive methodology with a formal and distributed framework for developing multiagent systems from autonomous agents.

Citations

1794 Time, Clocks, and the Ordering of Events in a Distributed System – Lamport - 1978
985 Software Architecture: Perspectives on an emerging discipline – Shaw, Garlan - 1996
843 Software Engineering: A Practitioner’s Approach 6 th Edition – Pressman - 2005
747 How to do things with words – Austin - 1962
632 Agent-Oriented Programming – Shoham - 1990
297 UML Distilled: Applying the Standard Object Modeling Language – Fowler, Scott - 1997
282 Executable Object Modeling with Statecharts – Harel, Gery - 1996
183 Detecting causal relationships in distributed computations – Schwarz, Mattern - 1994
181 Designing a family of coordination algorithms – DECKER, LESSER - 1995
143 Agent communication languages: Rethinking the principles – Singh - 1998
126 Using Branching Time Temporal Logic to Synthesize Synchronization – Emerson, Clarke - 1982
119 COOL: A language for describing coordination in multi agent systems – Barbuceanu, Fox - 1995
105 DESIRE: Modelling MultiAgent Systems in a Compositional Formal Framework – Brazier, Dunin-Keplicz, et al. - 1997
93 An ontology for commitments in multiagent systems: Toward a unification of normative concepts – Singh - 1999
92 Semantics and conversations for an agent communication language – Labrou, Finin - 1998
82 A Social Reasoning Mechanism Based on Dependence Networks – Sichman, Conte, et al. - 1994
56 M.P.: Verifying compliance with commitment protocols: Enabling open Web-based multiagent systems – Venkatraman, Singh - 1999
55 Designing conversation policies using joint intention theory – Smith, Cohen, et al. - 1998
45 Distributed problem solving and planning – Durfee - 1999
41 Agents and multiagent systems: Themes, approaches, and challenges – Huhns, Singh - 1997
40 Communciation and Cooperation in Agent Systems: A Pragmatic Theory, number 1056 – Haddadi - 1996
35 A Customizable Coordination Service for Autonomous Agents – Singh - 1998
35 Software Engineering with Agents: Pitfalls and Pratfalls – Wooldridge, Jennings - 1999
32 Formal methods in DAI: Logic-based representation and reasoning – Singh, Rao, et al. - 1999
31 Commitments among autonomous agents in information-rich environments – Singh - 1997
23 Interaction protocols in agentis – d’Inverno, Kinny, et al. - 1998
21 Agents for Process Coherence in Virtual Enterprises – Jain, Aparicio, et al. - 1999
20 Applying an agent-oriented methodology to the design of artificial organizations: A case study in robotic soccer. Autonomous Agents and Multi-Agent Systems – Drogoul, Collinot - 1998
17 The industrial virtual enterprise – Hardwick, Bolton - 1997
16 The intentions of teams: Team structure, endodeixis, and exodeixis – Singh - 1998
10 Dyke Parunak. Visualizing agent conversations: Using enhanced Dooley graphs for agent design and analysis – Van - 1996
7 Appendix B: Repartee as a Graph – Dooley - 1976
7 Formalization and pre-validation for interaction protocols in multiagent systems – Koning, Francois, et al. - 1998
7 An Anatomy of Speech Notions. Peter de Ridder – Longacre - 1976
6 Industrial applications of distributed artificial intelligence – Chaib-draa - 1995
5 Use Cases Combined with Booch – Texel, Williams - 1997
3 Harel and Anmon Naamad. The STATEMATE semantics of statecharts – David - 1996
2 Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence – Wei, editor - 1999