Process-algebraic approaches for multi-agent systems: An overview

Applicable Algebra in Engineering, Communications and Computing

Volumn 16, Issue 2-3, 2005, Pages 69-75

  Viroli, Mirko ^a   Omicini, Andrea ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUATORS; ALGEBRA; AUTONOMOUS AGENTS; COMPUTER SCIENCE; PROBLEM SOLVING; SENSORS; SOCIAL ASPECTS;

DISTRIBUTED SYSTEM; INFORMATION SOURCES; PROCESS ALGEBRA; SERVICE INFRASTRUCTURE;

MULTI AGENT SYSTEMS;

EID: 23844538485     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00200-005-0170-3     Document Type: Review

References (41)

1. Austin, J.L.: How do things with words. Oxford University Press (1962)
2. Baeten, J.C.M., Middleburg, C.A.: Process algebra with timing: Real time and discrete time. In: Bergstra et al. [5], chap. 10, pp. 627-684
3. Bergenti, F.: Formalizing the reusability of software agents. In: Omicini, A., Petta, P., Pitt, J. (eds.) Engineering Societies in the Agents World IV, vol. 3071 of LNAI. 4th International Workshop (ESAW 2003), London, UK, 29-31 October 2003. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2004)
4. Bergenti, F., Rimassa, G., Viroli, M.: Operational semantics for agents by iterated refinement. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) Declarative Agent Languages and Technologies, vol. 2990 of LNAI, pp. 39-55. 1st International Workshop (DALT 2003), Melbourne, Australia, 15 July 2003. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2004)
5. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland, Amsterdam, London, New York, Oxford, Paris, Shannon and Tokyo (2001)
6. Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press (1999)
7. Cannata, N., Corradini, F., Merelli, E., Omicini, A., Ricci, A.: An agent-oriented conceptual framework for biological systems simulation. In: Merelli, E., Gonzalez, P., Omicini, A. (eds.) Models and Methaphors from Biology to Bioinformatics Tools, pp. 167-180, Camerino, MC, Italy, 5-7 September 2004. 4th International Workshop on NET work Tools and Applications in Biology (NETTAB 2004), Proceedings
8. Ciancarini, P., Omicini, A., Zambonelli, F.: Multiagent system engineering: The coordination viewpoint. In: Jennings, N. R., Lespérance, Y. (eds.) Intelligent Agents VI. Agent Theories, Architectures, and Languages, vol. 1757 of LNAI, pp. 250-259. Springer, B erlin Heidelberg New York (2000)
9. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intel. 42(2-3), 213-361 (1990)
10. Dennett, D.: The Intentional Stance. Bradford Books/MIT Press, Cambridge, MA (1987)
11. Fenster, M., Kraus, S., Rosenschein, J.S.: Coordination without communication: Experimental validation of focal point techniques. In: Huhns and Singh [16], pp. 380-386
12. Ferber, J., Müller, J.-R: Influences and reaction: a model of situated multiagent systems. In: Tokoro, M. (ed.) 2nd International Conference on Multi-Agent Systems (ICMAS'96), pp. 72-79, Kyoto, Japan, 9-13 December 1996. AAAI Press/MIT Press
13. Ferraiolo, D., Kühn, R.: Role-Based Access Control. In: 15th NIST-NSA National Computer Security Conference, pp. 554-563, Baltimore, MD, USA, 13-16 October 1992
14. FIPA. FIPA communicative act library specification, http://www.fipa.org, 2000. Doc. XC00037H
15. Groote, J.F., Reniers, M.A.: Algebraic process verification. In: Bergstra et al. [5], chap. 17, pp.1151-1208
16. Huhns, M.N., Singh, M.P. (eds.): Readings in Agents. Morgan Kaufmann Publishers (1998)
17. Jonsson, B., Yi, W., Larsen, K.G.: Probabilistic extensions of process algebras. In: Bergstra et al. [5], chap. 11, pp. 685-710
18. Kinny, D.: Vip: a visual programming language for plan execution systems. In: AAMAS 2002, pp. 721-728. ACM Press (2002)
19. Kone, M.T., Shimazu, A., Nakajima, T.: The state of the art in agent communication languages. Knowl. Inf. Syst. 2(3), 259-284 (2000)
20. McBurney, P., van Eijk, R.M., Parsons, S., Amgoud, L.: A dialogue game protocol for agent purchase negotiations. Auton. Agents Multi-Agent Syst. 7(3), 235-273 (2003)
21. Milner, R.: Communication and Concurrency. Prentice Hall (1989)
22. Milner, R.: Communicating and Mobile Systems: The π-calculus. Cambridge University Press (1999)
23. Omicini, A.: SODA: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) Agent-Oriented Software Engineering, vol. 1957 of LNCS, pp. 185-193. 1st International Workshop (AOSE 2000), Limerick, Ireland, 10 June 2000. Revised Papers. Springer, Berlin Heidelberg New York (2001)
24. Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Compu. Program. 41(3), 277-294 (2001)
25. Omicini, A., Ricci, A., Viroli, M.: Cristiano Castelfranchi, and Luca Tummolini. Coordination artifacts: Environment-based coordination for intelligent agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 286-293, New York, USA, 19-23 July 2004. ACM
26. Omicini, A., Zambonelli, F.: Coordination for Internet application development. J. Auton. Agents Multi-Agent Syst. 2(3), 251-269 (1999)
27. Van Dike Parunak, H.: Go to the ant: Engineering principles from natural multi-agent systems. Ann. Oper. Res. 75, 69-101 (1997)
28. Van Dyke Parunak, H., Brueckner, S., Fleischer, M., Odell, J.: A preliminary taxonomy of multi-agent interactions. In: 2nd International Joint conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), pp. 1090-1091. ACM Press (2003)
29. Plotkin, G.D.: The origins of structural operational semantics. J. Logic Algebra. Program. 60-61:3-15, July-December 2003. Special Issue on Structural Operational Semantics
30. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Huhns and Singh [16], pp. 317-328
31. Ricci, A., Omicini, A., Denti, E.: Virtual enterprises and workflow management as agent coordination issues. Int. J. Coop. Inform. Syst. 11(3/4), 355-379, September/December 2002. Special Issue: Cooperative Information Agents - Best Papers of CIA 2001
32. Ricci, A., Omicini, A., Denti, E.: Activity Theory as a framework for MAS coordination. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) Engineering Societies in the Agents World III, vol. 2577 of LNCS, pp. 96-110. 3rd International Workshop (ESAW 2002), Madrid, Spain, 16-17 September 2002. Revised Papers. Springer, Berlin Heidelberg New York (2003)
33. Searle, J.R.: Speech acts: An essay in the philosophy of language. Cambridge University Press (1969)
34. Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Comput. 31(12), 40-47 (1998)
35. Luc Steels: The artificial life roots of artificial intelligence. Artif. Life J. 1(1), 89-125 (1994)
36. van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J. Ch.: Operational semantics for agent communication languages. In: Issues in Agent Communication, vol. 1916 of LNAI, pp. 80-95. Springer, Berlin Heidelberg New York (2000)
37. Viroli, M., Omicini, A.: Specifying agent observable behaviour. In: Castelfranchi, C., Lewis Johnson, W. (eds.) 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), vol. 2, pp. 712-720, Bologna, Italy, 15-19 July 2002. ACM
38. Viroli, M., Ricci, A.: Instructions-based semantics of agent mediated interaction. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 102-110, New York, USA, 19-23 July 2004. ACM
39. Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.): Environments for MultiAgent Systems, vol. 3374 of LNAI. 1 st International Workshop (E4MAS 2004), New York, NY, USA, 19 July 2004. Revised Selected and Invited Papers. Springer, Berlin Heidelberg New York (2005)
40. Wooldridge, M.J.: Reasoning about Rational Agents. The MIT Press, Cambridge, Massachusetts, and London, England (2000)
41. Zambonelli, F., Jennings, N.R., Omicini, A., Wooldridge, M.J.: Agent-oriented software engineering for Internet applications. In: Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.) Coordination of Internet Agents: Models, Technologies, and Applications, chap. 13, pp. 326-346. Springer, Berlin Heidelberg New York (2001)