Challenges and Research Directions in Agent-Oriented Software Engineering

Agent-based computing is a promising approach for developing applications in complex domains. However, despite the great deal of research in the area, a number of challenges still need to be faced (i) to make agent-based computing a widely accepted paradigm in software engineering practice, and (ii) to turn agent-oriented software abstractions into practical tools for facing the complexity of modern application areas. In this paper, after a short introduction to the key concepts of agent-based computing (as they pertain to software engineering), we characterise the emerging key issues in multiagent systems (MASs) engineering. In particular, we show that such issues can be analysed in terms of three different “scales of observation”, i.e., in analogy with the scales of observation of physical phenomena, in terms of micro, macro, and meso scales. Based on this characterisation, we discuss, for each scale of observation, what are the peculiar engineering issues arising, the key research challenges to be solved, and the most promising research directions to be explored in the future.

[1]  P. Petta,et al.  Emotions in Humans and Artifacts , 2003 .

[2]  Federico Bergenti,et al.  Agent-oriented Software Construction with UML , 2001 .

[3]  Franco Zambonelli,et al.  Multiagent System Engineering: The Coordination Viewpoint , 1999, ATAL.

[4]  Scott A. DeLoach,et al.  Multiagent Systems Engineering , 2001, Int. J. Softw. Eng. Knowl. Eng..

[5]  Jorge J. Gómez-Sanz,et al.  A Survey on Agent-Oriented Oriented Software Engineering Research , 2004 .

[6]  George Bourianoff,et al.  The Future of Nanocomputing , 2003, Computer.

[7]  Gregor Kiczales,et al.  Aspect-oriented programming , 1996, CSUR.

[8]  Jorge J. Gómez-Sanz,et al.  Agent Oriented Software Engineering with INGENIAS , 2003, CEEMAS.

[9]  Moshe Tennenholtz,et al.  On Social Laws for Artificial Agent Societies: Off-Line Design , 1995, Artif. Intell..

[10]  Dov Dori.  Why significant UML change is unlikely , 2002, CACM.

[11]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[12]  Marc Esteva,et al.  On the Formal Specifications of Electronic Institutions , 2001, AgentLink.

[13]  Antony I. T. Rowstron,et al.  Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems , 2001, Middleware.

[14]  Franco Zambonelli,et al.  Agent-Oriented Software Engineering for Internet Applications , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[15]  Paolo Costa,et al.  Epidemic algorithms for reliable content-based publish-subscribe: an evaluation , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[16]  Franco Zambonelli,et al.  Organizational Abstractions for the Analysis and Design of Multi-agent Systems , 2000, AOSE.

[17]  Elizabeth A. Kendall,et al.  Role modelling for agent system analysis, design, and implementation , 1999, Proceedings. First and Third International Symposium on Agent Systems Applications, and Mobile Agents.

[18]  Gaurav S. Sukhatme,et al.  Connecting the Physical World with Pervasive Networks , 2002, IEEE Pervasive Comput..

[19]  David Lorge Parnas,et al.  Predicate Logic for Software Engineering , 1993, IEEE Trans. Software Eng..

[20]  Katia Sycara,et al.  Team-Oriented Agent Coordination in the RETSINA Multi-Agent System , 2002 .

[21]  Andrea Omicini,et al.  SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems , 2000, AOSE.

[22]  Leon Sterling,et al.  ROADMAP: extending the gaia methodology for complex open systems , 2002, AAMAS '02.

[23]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[24]  Pablo Noriega,et al.  Agent-mediated auctions: the fishmarket metaphor , 1997 .

[25]  Gustavo Rossi,et al.  On the Evaluation of Agent Oriented Methodologies , 2002 .

[26]  Ian T. Foster,et al.  Mapping the Gnutella Network , 2002, IEEE Internet Comput..

[27]  Andrea Omicini,et al.  Coordination Infrastructures in the Engineering of Multiagent Systems , 2004 .

[28]  James Martin,et al.  Object-oriented analysis and design , 1992 .

[29]  Jürgen Lind,et al.  Issues in Agent-Oriented Software Engineering , 2000, AOSE.

[30]  Azer Bestavros,et al.  Self-similarity in World Wide Web traffic: evidence and possible causes , 1996, SIGMETRICS '96.

[31]  Troy Shinbrot,et al.  Noise to order , 2001, Nature.

[32]  Chris Hanson,et al.  Amorphous computing , 2000, Commun. ACM.

[33]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[34]  Andrea Omicini.  On the semantics of tuple-based coordination models , 1999, SAC '99.

[35]  Munindar P. Singh,et al.  Searching social networks , 2003, AAMAS '03.

[36]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[37]  Andrea Omicini,et al.  Virtual Enterprises and Workflow Management As Agent Coordination Issues , 2002, Int. J. Cooperative Inf. Syst..

[38]  Moshe Tennenholtz,et al.  Artificial Social Systems , 1992, Lecture Notes in Computer Science.

[39]  Daniel M. Zimmerman,et al.  benefits and drawbacks of current Java mobile agent systems , 1997 .

[40]  Yaneer Bar-Yam,et al.  Dynamics Of Complex Systems , 2019 .

[41]  Michael Luck,et al.  Agent technology: Enabling next generation computing , 2003 .

[42]  Barbara Webb,et al.  Swarm Intelligence: From Natural to Artificial Systems , 2002, Connect. Sci..

[43]  H. Van Dyke Parunak,et al.  "Go to the ant": Engineering principles from natural multi-agent systems , 1997, Ann. Oper. Res..

[44]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[45]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[46]  Franco Zambonelli,et al.  Agent-oriented software engineering for Internet agents , 2001 .

[47]  Yves Demazeau,et al.  A Social Reasoning Mechanism Based On Dependence Networks , 1997, ECAI.

[48]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[49]  Franco Zambonelli,et al.  Engineering mobile-agent applications via context-dependent coordination , 2002, IEEE Trans. Software Eng..

[50]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

[51]  Franco Zambonelli,et al.  Co-Fields: A Physically Inspired Approach to Motion Coordination , 2004, IEEE Pervasive Comput..

[52]  Franco Zambonelli,et al.  Coordination Technologies for Internet Agents , 1999, Nord. J. Comput..

[53]  Antonio Chella,et al.  A possible approach to the development of robotic multi-agent systems , 2003, IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003..

[54]  John McCarthy,et al.  Programs with common sense , 1960 .

[55]  Franco Zambonelli,et al.  Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.

[56]  Mark S. Fox,et al.  An Organizational View of Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[57]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[58]  Bertrand Meyer,et al.  On Formalism in Specifications , 1985, IEEE Software.

[59]  Agostino Poggi,et al.  Middleware and programming support for agent systems , 2002 .

[60]  Jürgen Dix,et al.  Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers , 2004, CLIMA.

[61]  Andrea Omicini,et al.  Coordination as a Service: Ontological and Formal Foundation , 2003, Electron. Notes Theor. Comput. Sci..

[62]  Hein Meling,et al.  Anthill: a framework for the development of agent-based peer-to-peer systems , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[63]  Onn Shehory,et al.  Evaluation of modeling techniques for agent-based systems , 2001, AGENTS '01.

[64]  Anne-Marie Kermarrec,et al.  The many faces of publish/subscribe , 2003, CSUR.

[65]  Jacques Ferber,et al.  A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[66]  H. Van Dyke Parunak,et al.  Entropy and self-organization in multi-agent systems , 2001, AGENTS '01.

[67]  Pablo Noriega,et al.  Electronic Institutions: Future Trends and Challenges , 2002, CIA.

[68]  H. Van Dyke Parunak,et al.  Representing Agent Interaction Protocols in UML , 2000, AOSE.

[69]  Jonathan P. Bowen,et al.  Seven More Myths of Formal Methods , 1994, FME.

[70]  Carlos Angel Iglesias,et al.  A Survey of Agent-Oriented Methodologies , 1998, ATAL.

[71]  Wei-Min Shen,et al.  Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots , 2002, IEEE Trans. Robotics Autom..

[72]  Albert-László Barabási,et al.  Error and attack tolerance of complex networks , 2000, Nature.

[73]  Jordi Sabater-Mir,et al.  Evolutionary programming in SADDE , 2002, AAMAS '02.

[74]  Mark Crovella,et al.  Self-Similarity in World Wide Web Traffic: Evidence and Causes , 1996, SIGMETRICS.

[75]  F. Zambonelli,et al.  Co-Fields : A Physically Inspired Approach to Distributed Motion Coordination , 2004 .

[76]  Gerti Kappel,et al.  Coordination in Workflow Management Systems - A Rule-Based Approach , 1996, Coordination Technology for Collaborative Applications.

[77]  Anand R. Tripathi,et al.  A coordination model for secure collaboration , 2002 .

[78]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[79]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[80]  Grady Booch,et al.  Object-oriented analysis and design with applications (2nd ed.) , 1993 .

[81]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[82]  David L. Tennenhouse,et al.  Proactive computing , 2000, Commun. ACM.

[83]  Tony White,et al.  Mobile agents for network management , 1998, IEEE Communications Surveys & Tutorials.

[84]  Dov Dori,et al.  Single-model method for specifying multi-agent systems , 2003, AAMAS '03.

[85]  Anand S. Rao,et al.  A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.

[86]  Christof Teuscher,et al.  Hypercomputation: hype or computation? , 2002, CACM.

[87]  J. Kephart.  Software agents and the route to the information economy , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[88]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[89]  Franco Zambonelli,et al.  Towards a paradigm change in computer science and software engineering: a synthesis , 2003, The Knowledge Engineering Review.

[90]  Elizabeth A. Kendall,et al.  Role modeling for agent system analysis, design, and implementation , 2000, IEEE Concurr..

[91]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering: The State of the Art , 2009, AOSE.

[92]  J. Timothy Wootton,et al.  Local interactions predict large-scale pattern in empirically derived cellular automata , 2001, Nature.

[93]  Jean-Marc Nerson,et al.  Object-Oriented Analysis and Design , 1992, TOOLS.

[94]  Leon Sterling,et al.  Declarative Agent Languages and Technologies , 2003, Lecture Notes in Computer Science.

[95]  Michael Luck,et al.  Methodologies and Software Engineering for Agent Systems , 2004, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[96]  John Mylopoulos,et al.  A Goal-Based Organizational Perspective on Multi-agent Architectures , 2001, ATAL.

[97]  Ian Foster,et al.  The Grid 2 - Blueprint for a New Computing Infrastructure, Second Edition , 1998, The Grid 2, 2nd Edition.

[98]  Pablo Cayetano Noriega Blanco-Vigil.  Agent mediated auctions: the fishmarket metaphor , 1998 .

[99]  H. Van Dyke Parunak,et al.  Representing social structures in UML , 2001, AGENTS '01.

[100]  Michael Wooldridge,et al.  Towards a Logic of Rational Agency , 2003, Log. J. IGPL.

[101]  Stefan Bussmann,et al.  Agent-oriented programming of manufacturing control tasks , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[102]  Holger Knublauch,et al.  Extreme programming of multi-agent systems , 2002, AAMAS '02.

[103]  Franco Zambonelli,et al.  What Can Cellular Automata Tell Us about the Behavior of Large Multi-agent Systems? , 2002, SELMAS.

[104]  Ami Marowka,et al.  The GRID: Blueprint for a New Computing Infrastructure , 2000, Parallel Distributed Comput. Pract..

[105]  Ferber,et al.  [IEEE Comput. Soc International Conference on Multi Agent Systems - Paris, France (3-7 July 1998)] Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160) - A meta-model for the analysis and design of organizations in multi-agent systems , 1998 .