Abstract
This paper presents an approach to formally link a simple dependency-based coordination model to its related conversation protocol. Hence, by observing conversation among coordinating entities, an external observer is able to recognise valid conversations that do not break the established norms on coordination. This may help in building reliable autonomous agent based systems in open and untrustred environments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Zambonelli, F., Parunak, H.V.D.: Signs of a revolution in computer science and software engineering. In: Agent Oriented Software Engineering Workshop at AAMAS 2002, Bologna (2002)
Gouaich, A.: Requirements for achieving software agents autonomy and defining their responsibility. In: Autonomy Workshop at AAMAS 2003, Melbourne, Australia (2003)
Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. The Knowledge Engineering Review 10, 115–152 (1995)
Ferber, J.: Les Systemes Multi-Agents. InterEditions (1995)
Castelfranchi, C.: Guarantees for autonomy in cognitive agent architecture. Intelligent Agents: Theories, Architectures, and Languages 890, 56–70 (1995)
Gouaich, A., Guiraud, Y., Michel, F.: Mic*: An agent formal environment. In: 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, USA (2003)
Malone, T.W., Crowston, K.: The interdisciplinary study of coordination. ACM Computing Surveys (CSUR) 26, 87–119 (1994)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–271 (1987)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Milner, R., Parrow, J., Walker, D.: A calculus for mobile processes, parts 1 and 2. Information and Computation 100 (1992)
Cardelli, L.: Abstractions for mobile computation. Secure Internet Programming, 51–94 (1999)
Fournet, C.: Le Join-Calcul: Un Calcul Pour la Programmation Repartie et Mobile. PhD thesis, Ecole Polytechnique (1998)
ITU: Recommendation z.120: Message sequence chart (MSC). Technical Report Z.120, International Telecommunication Union (1993)
Papadopoulos, G.A.: Models and technologies for the coordination of internet agents: A survey. In: Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.) Coordination of Internet Agents: Models, Technologies, and Applications, pp. 25–56. Springer, Heidelberg (2000)
Barbuceanu, M., Fox, M.S.: COOL: A language for describing coordination in multi-agent systems. In: Lesser, V. (ed.) First International Conference on Multi-Agent Systems, pp. 17–24. AAAI Press/The MIT Press, San Francisco, California (1995)
Barbuceanu, M., Lo, W.K.: Conversation oriented programming for agent interaction. In: [26], pp. 220–234
Martial, F.V.: Coordinating Plans of Autonomous Agents. LNCS, vol. 610. Springer, Heidelberg (1992)
König, R.: State-based modeling method for multiagent conversation protocols and decision activities. In: Kowalczyk, R., Müller, J.P., Tianfield, H., Unland, R. (eds.) NODe-WS 2002. LNCS (LNAI), vol. 2592, pp. 151–166. Springer, Heidelberg (2003)
Cost, R.S., Chen, Y., Finin, T.W., Labrou, Y., Peng, Y.: Using colored petri nets for conversation modeling. In: [26], pp. 178–192
Fallah-Seghrouchni, A.E., Haddad, S., Mazouzi, H.: Protocol engineering for multi-agent interaction. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 89–101. Springer, Heidelberg (1999)
Endriss, U., Lu, W., Maudet, N., Stathis, K.: Competent agents and customising protocols. In: Omicini, A., Petta, P., Pitt, J. (eds.) ESAW 2003. LNCS (LNAI), vol. 3071, pp. 168–181. Springer, Heidelberg (2004)
Henderson-Sellers, B., Giorgini, P., Bresciani, P.: Supporting tropos concepts in agent OPEN. In: Omicini, A., Petta, P., Pitt, J. (eds.) ESAW 2003. LNCS (LNAI), vol. 3071, pp. 328–345. Springer, Heidelberg (2004)
Omicini, A., Ricci, A.: MAS organisation within a coordination infrastructure: Experiments in tucson. In: Omicini, A., Petta, P., Pitt, J. (eds.) ESAW 2003. LNCS (LNAI), vol. 3071, pp. 200–216. Springer, Heidelberg (2004)
Denti, E., Ricci, A., Rubino, R.: Integrating and orchestrating services upon an agent coordination infrastructure. In: Omicini, A., Petta, P., Pitt, J. (eds.) ESAW 2003. LNCS (LNAI), vol. 3071, pp. 228–245. Springer, Heidelberg (2004)
Dignum, F., Greaves, M. (eds.): Issues in Agent Communication. LNCS, vol. 1916. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gouaich, A. (2004). Coordination and Conversation Protocols in Open Multi-agent Systems. In: Omicini, A., Petta, P., Pitt, J. (eds) Engineering Societies in the Agents World IV. ESAW 2003. Lecture Notes in Computer Science(), vol 3071. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25946-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-25946-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22231-6
Online ISBN: 978-3-540-25946-6
eBook Packages: Springer Book Archive