Skip to main content
SpringerLink
Log in

Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents

  • Published:
Autonomous Agents and Multi-Agent Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. J. L. Austin, How to Do Things with Words, Clarendon Press: Oxford, 1962.

    Google Scholar 

  2. M. Barbuceanu and M. S. Fox, “COOL: A language for describing coordination in multi agent systems”,. in Proc.Int.Conf.Multiagent Syst., 1995, pp. 17–24.

  3. F. M. T. Brazier, B. M. Dunin-Kęplicz, N. Jennings, and J. Treur, “Desire: Modelling multiagent systems in a compositional formal framework”,. Int.J.Coop.Inform.Syst.vol. 6, pp. 67–94, 1997.

    Google Scholar 

  4. B. Chaib-draa, “Industrial applications of distributed artificial intelligence”,. in M. N. Huhns and M. P. Singh, eds., Readings in Agents, Morgan Kaufmann: San Francisco, 1998, pp. 31–35. (Reprinted from Commun.ACM, 1995.)

    Google Scholar 

  5. K. S. Decker and V. R. Lesser, “Designing a family of coordination algorithms”,. in M. N. Huhns and M. P. Singh, eds., Readings in Agents, Morgan Kaufmann: San Francisco, 1998, pp. 450–457. (Reprinted from Proc.Int.Conf.Multiagent Syst., 1995.)

    Google Scholar 

  6. M. d'Inverno, D. Kinny, and M. Luck, “Interaction protocols in Agentis,. in Proc.3rd Int.Conf. Multiagent Syst.(ICMAS), IEEE Computer Society Press, July 1998, pp. 112–119.

  7. R. A. Dooley, “Appendix B: Repartee as a graph”,. in R. E. Longacre, An Anatomy of Speech Notions, Peter de Ridder: Lisse, Holland, 1976, pp. 348–358.

    Google Scholar 

  8. A. Drogoul and A. Collinot, “Applying an agent-oriented methodology to the design of artificial organizations: A case study in robotic soccer”,. Auton.Agents Multi-Agent Syst.vol. 1, pp. 113–129, 1998.

    Google Scholar 

  9. E. H. Durfee, “Distributed problem solving and planning”,. in G. Wei_, ed., Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, MIT Press: Cambridge, MA, 1999, chapter 3, pp. 121–164.

    Google Scholar 

  10. E. A. Emerson and E. C. Clarke, “Using branching time temporal logic to synthesize synchronization skeletons”,. Sci.Comput.Program. vol. 2, pp. 241–266, 1982.

    Google Scholar 

  11. Foundation for intelligent physical agents (FIPA) specification, 1998. http://www._pa.org.

  12. M. Fowler, UML Distilled: Applying the Standard Object Modeling Language, Addison-Wesley: Reading, MA, 1997.

    Google Scholar 

  13. A. Haddadi, Communication and Cooperation in Agent Systems: A Pragmatic Theory, Springer-Verlag: Heidelberg, 1996.

    Google Scholar 

  14. M. Hardwick and R. Bolton, “The industrial virtual enterprise”,. Commun.ACM vol. 40, pp. 59–60, 1997.

    Google Scholar 

  15. D. Harel and E. Gery, “Executable object modeling with statecharts”,. IEEE Comput. vol. 30, pp. 31–42, 1997.

    Google Scholar 

  16. D. Harel and A. Naamad, “The STATEMATE semantics of statecharts”,. ACM Trans.Software Eng. Method. vol. 5, pp. 293–333, 1996.

    Google Scholar 

  17. M. N. Huhns and M. P. Singh, “Agents and multiagent systems: Themes, approaches, and challenges”. in M. H. Huhns and M. P. Singh, eds., Readings in Agents, Morgan Kaufmann: San Francisco, 1998, Chapter 1, pp. 1–23, 1998.

    Google Scholar 

  18. M. N. Huhns and M. P. Singh, eds., Readings in Agents, Morgan Kaufmann: San Francisco, 1998.

    Google Scholar 

  19. A. K. Jain, M. Aparicio IV, and M. P. Singh, “Agents for process coherence in virtual enterprises,. Commun.ACM vol. 42, pp. 62–69, 1999.

    Google Scholar 

  20. J.-L. Koning, G. Francois, and Y. Demazeau, “Formalization and pre-validation for interaction protocols in multiagent systems”,. in Proc.Euro.Conf.Artif.Intell., John Wiley: New York, 1998, pp. 298–302.

    Google Scholar 

  21. Y. Labrou and T. Finin, “Semantics and conversations for an agent communication language,. in M. H. Huhns and M. P. Singh, eds., Readings in Agents, Morgan Kaufmann: San Francisco, 1998, pp. 235–242, 1998. (Reprinted from Proc.Int.Joint Conf.Artif.Intell., 1997).

    Google Scholar 

  22. L. Lamport, “Time, clocks, and the ordering of events in a distributed system”,. Commun.ACM vol. 21, pp. 558–565, 1978.

    Google Scholar 

  23. R. E. Longacre, An Anatomy of Speech Notions, Peter de Ridder: Lisse, Holland, 1976.

    Google Scholar 

  24. H. Van Dyke Parunak, “Visualizing agent conversations: Using enhanced Dooley graphs for agent design and analysis”,. in Proc.2nd Int.Conf.Multiagent Syst., AAAI Press, 1996, pp. 275–282.

  25. R. S. Pressman, Software Engineering: A Practitioner's Approach, 4th ed., McGraw Hill: New York, 1997.

    Google Scholar 

  26. R. Schwarz and F. Mattern, “Detecting causal relationships in distributed computations: In search of the holy grail”,. Distrib.Comput. vol. 7, pp. 149–174, 1994.

    Google Scholar 

  27. M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall: Upper Saddle River, NJ, 1996.

    Google Scholar 

  28. Y. Shoham, “Agent-oriented programming”,. in M. N. Huhns and M. P. Singh, eds., Readings in Agents, Morgan Kaufmann: San Francisco, 1998, pp. 329–349. (Reprinted from Artif.Intell., 1993).

    Google Scholar 

  29. J. S. Sichman, R. Conte, Y. Demazeau, and C. Castelfranchi, “A social reasoning mechanism based on dependence networks”,. in M. N. Huhns and M. P. Singh, eds., Readings in Agents, Morgan Kaufmann: San Francisco, 1998, pp. 416–420. (Reprinted from Proc.11th Euro.Conf.Artif.Intell., 1994).

    Google Scholar 

  30. M. P. Singh, “Commitments among autonomous agents in information-rich environments”,. in Proc. 8th Euro.Workshop Modelling Autonomous Agents in a Multi-Agent World (MAA-MAW), Springer-Verlag: New York, 1997, pp. 141–155.

    Google Scholar 

  31. M. P. Singh, “Agent communication languages: Rethinking the principles”,. IEEE Comput. vol. 31, pp. 40–47, 1998.

    Google Scholar 

  32. M. P. Singh, “A customizable coordination service for autonomous agents”,. in Intelligent Agents IV: Proc.4th Int.Workshop on Agent Theories, Architectures, and Languages (ATAL-97), Springer-Verlag: New York, 1998, pp. 93–106.

    Google Scholar 

  33. M. P. Singh, “The intentions of teams: Team structure, endodeixis, and exodeixis”. in Proc.13th Euro. Conf.Artif.Intell.(ECAI), John Wiley: New York, August 1998, pp. 303–307.

    Google Scholar 

  34. M. P. Singh, “An ontology for commitments in multiagent systems: Toward a unification of normative concepts”,. Artif.Intell.Law vol. 7, pp. 97–113, 1999.

    Google Scholar 

  35. M. P. Singh, A. S. Rao, and M. P. Georgeff, “Formal methods in DAI: Logic-based representation and reasoning”,. in G. Weiß, ed., Multiagent Systems: A Modern Appraoch to Distributed Artificial Intelligence, MIT Press: Cambridge, MA, 1999, chapter 8, pp. 331–376.

    Google Scholar 

  36. I. A. Smith, P. R. Cohen, J. M. Bradshaw, M. Greaves, and H. Holmback, “Designing conversation policies using joint intention theory,. in Proc.3rd Int.Conf.Multiagent Syst.(ICMAS), IEEE Computer Society Press, 1998, pp. 269–276.

  37. P. P. Texel and C. B. Williams, Use Cases Combined with Booch, OMT, UML: Process and Products, Prentice Hall: Upper Saddle River, NJ, 1997.

    Google Scholar 

  38. M. Venkatraman and M. P. Singh., “Verifying compliance with commitment protocols: Enabling open web-based multiagent systems”,. Auton.Agents Multi-Agent Syst. vol. 2, pp. 217–236, 1999.

    Google Scholar 

  39. G. Weiß, ed. Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, MIT Press: Cambridge, MA, 1999.

    Google Scholar 

  40. M. J. Wooldridge and N. R. Jennings, “Software engineering with agents: Pitfalls and pratfalls”,. IEEE Internet Comput. vol. 3, pp. 20–27, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, North Carolina State University, Raleigh, NC, 27695–7534, USA

    Munindar P. Singh

Authors
  1. Munindar P. Singh
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Singh, M.P. Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents. Autonomous Agents and Multi-Agent Systems 3, 107–132 (2000). https://doi.org/10.1023/A:1010033827337

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1010033827337

Search

Navigation