Methodologies and Software Engineering for Agent Systems

The Grid is a large-scale computer system that is capable of coordinating resources that are not subject to centralised control, whilst using standard, open, general-purpose protocols and interfaces, and delivering non-trivial qualities of service. In this chapter, we argue that Grid applications very strongly suggest the use of agent-based computing, and we review key uses of agent technologies in Grids: user agents, able to customize and personalise data; agent communication languages offering a generic and portable communication medium; and negotiation allowing multiple distributed entities to reach service level agreements. In the second part of the chapter, we focus on Grid service discovery, which we have identified as a prime candidate for use of agent technologies: we show that Grid-services need to be located via personalised, semantic-rich discovery processes, which must rely on the storage of arbitrary metadata about services that originates from both service providers and service users. We present UDDI-MT, an extension to the standard UDDI service directory approach that supports the storage of such metadata via a tunnelling technique that ties the metadata store to the original UDDI directory. The outcome is a flexible service registry which is compatible with existing standards and also provides metadata-enhanced service discovery.

[1]  John Mylopoulos,et al.  Modeling Dynamic Domains with ConGolog , 1999, CAiSE.

[2]  Radhika Nagpal,et al.  Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network , 2003, IPSN.

[3]  Eric Yu,et al.  Why agent-oriented requirements engineering , 1997 .

[4]  Carla Simone,et al.  Coordination mechanisms: Towards a conceptual foundation of CSCW systems design , 1996, Computer Supported Cooperative Work (CSCW).

[5]  S. Rosenschein,et al.  On social laws for artificial agent societies: off-line design , 1996 .

[6]  Yves Demazeau,et al.  From Analysis to Deployment: A Multi-agent Platform Survey , 2000, ESAW.

[7]  Jacques Ferber,et al.  Integrating tools and infrastructures for generic multi-agent systems , 2001, AGENTS '01.

[8]  W. Keith Edwards,et al.  At Home with Ubiquitous Computing: Seven Challenges , 2001, UbiComp.

[9]  Sheila A. McIlraith,et al.  Bringing semantics to Web services , 2003, IEEE Intelligent Systems.

[10]  Munindar P. Singh,et al.  Nonmonotonic Commitment Machines , 2003, Workshop on Agent Communication Languages.

[11]  Cynthia Della Torre Cicalese,et al.  CoABS Grid Scalability Experiments , 2004, Autonomous Agents and Multi-Agent Systems.

[12]  Richard E. Hayes,et al.  Understanding Information Age Warfare , 2001 .

[13]  Sarit Kraus,et al.  Coordination without Communication: Experimental Validation of Focal Point Techniques , 1997, ICMAS.

[14]  John Darlington,et al.  Building Computational Communities from Federated Resources , 2001, Euro-Par.

[15]  Hyacinth S. Nwana,et al.  Visualising and debugging distributed multi-agent systems , 1999, AGENTS '99.

[16]  Fausto Giunchiglia,et al.  The tropos software development methodology: processes, models and diagrams , 2002, AAMAS '02.

[17]  Jerry Zeyu Gao,et al.  Wireless Advertising's Challenges and Opportunities , 2003, Computer.

[18]  Franco Zambonelli,et al.  Distributed motion coordination with Co-Fields: a case study in urban traffic management , 2003, The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003..

[19]  Yonghua Li,et al.  Exploiting Agent Oriented Software Engineering in Cooperative Robotics Search and Rescue , 2003, Int. J. Pattern Recognit. Artif. Intell..

[20]  Jean-Luc Koning,et al.  Generating Machine Processable Representations of Textual Representations of AUML , 2002, AOSE.

[21]  John Mylopoulos,et al.  Tropos: A Framework for Requirements-Driven Software Development , 2000 .

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

[23]  Rune Gustavsson,et al.  Sustainable Information Ecosystems , 2002, SELMAS.

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

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

[26]  Reiko Heckel,et al.  Improving the agent-oriented modeling process by roles , 2001, AGENTS '01.

[27]  Daniel G. Bobrow,et al.  Book review: The Art of the MetaObject Protocol By Gregor Kiczales, Jim des Rivieres, Daniel G. and Bobrow(MIT Press, 1991) , 1991, SGAR.

[28]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[29]  Victor R. Lesser,et al.  AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling , 2002, AAMAS '02.

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

[31]  Elizabeth A. Kendall,et al.  A Methodology for Developing Agent Based Systems , 1995, DAI.

[32]  John Yen,et al.  Modeling and verifying multi-agent behaviors using predicate/transition nets , 2002, SEKE '02.

[33]  Rafael H. Bordini,et al.  Running AgentSpeak(L) Agents on SIM_AGENT , 2001, ATAL.

[34]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[35]  Alessandro Saffiotti,et al.  Using the Electric Field Approach in the RoboCup Domain , 2001, RoboCup.

[36]  Soraya Kouadri Mostéfaoui,et al.  Towards a Context-Oriented Services Discovery and Composition Framework , 2022 .

[37]  Tom Rodden,et al.  On the Use of Agents in a BioInformati s , 2003 .

[38]  Nenad Ivezic,et al.  Automating supply-chain management , 2002, AAMAS '02.

[39]  Michael Winikoff,et al.  Simplifying the Development of Intelligent Agents , 2001, Australian Joint Conference on Artificial Intelligence.

[40]  M. Huget Nemo : an Agent-Oriented Software Engineering Methodology , 2022 .

[41]  Pablo Noriega,et al.  Towards a Test-Bed for Trading Agents in Electronic Auction Markets , 1998, AI Commun..

[42]  H. Van Dyke Parunak,et al.  Representing Social Structures in UML , 2001, AOSE.

[43]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[44]  Quan Z. Sheng,et al.  On Composite Web Services Provisioning in an Environment of Fixed and Mobile Computing Resources , 2004, Inf. Technol. Manag..

[45]  Qiang Yang,et al.  Architectural Design Patterns for Multiagent Coordination , 1999 .

[46]  Michael Luck,et al.  Automated Negotiation for Grid Notification Services , 2003, Euro-Par.

[47]  Jaime Simão Sichman,et al.  MAS and Social Simulation: A Suitable Sommitment , 1998, MABS.

[48]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[49]  Michael Luck,et al.  Designing Agent-Oriented Systems by Analysing Agent Interactions , 2000, AOSE.

[50]  Gerd Kortuem,et al.  Wearable Communities: Augmenting Social Networks with Wearable Computers , 2003, IEEE Pervasive Comput..

[51]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[52]  Ronaldo Menezes,et al.  A new approach to scalable Linda-systems based on swarms , 2003, SAC '03.

[53]  Jaime Simão Sichman,et al.  DEPNET: How to benefit from social dependence† , 1995 .

[54]  Jean-Pierre Briot,et al.  From Active Objects to Autonomous Agents , 1998, IEEE Concurr..

[55]  Reinhold Plösch,et al.  Contracts: from analysis to C++ implementation , 1999, Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).

[56]  Jeffrey S. Rosenschein,et al.  Cooperation without Communication , 1986, AAAI.

[57]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[58]  David W. Payton,et al.  Progress in Pheromone Robotics , 2001 .

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

[60]  Michael Wooldridge,et al.  On the Formal Specification and Verification of Multi-Agent Systems , 1997, Int. J. Cooperative Inf. Syst..

[61]  Mark S. Miller,et al.  An automated auction in ATM network bandwidth , 1996 .

[62]  Carla Simone,et al.  Mind the Gap! Towards a Unified View of CSCW , 2000, COOP.

[63]  Gauthier Picard,et al.  ADELFE: A Methodology for Adaptive Multi-agent Systems Engineering , 2002, ESAW.

[64]  Andrea Omicini,et al.  Activity Theory as a Framework for MAS Coordination , 2002, ESAW.

[65]  Gustavo Alonso,et al.  A Proactive Middleware Platform for Mobile Computing , 2003, Middleware.

[66]  Stefan Poslad,et al.  The FIPA-OS agent platform: Open Source for Open Standards , 2006 .

[67]  Hyacinth S. Nwana,et al.  ZEUS: a toolkit and approach for building distributed multi-agent systems , 1999, AGENTS '99.

[68]  Don Box,et al.  Essential XML: Beyond MarkUp , 2000 .

[69]  Amitava Mukherjee,et al.  Pervasive Computing: A Paradigm for the 21st Century , 2003, Computer.

[70]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[71]  M. Elammari,et al.  An Agent-Oriented Methodology: High-Level and Intermediate Models , 1999 .

[72]  H. Van Dyke Parunak,et al.  Evolving adaptive pheromone path planning mechanisms , 2002, AAMAS '02.

[73]  José M. Matías,et al.  Development of a Multi-Agent System for Cooperative Work with Network Negotiation Capabilities , 1998, IATA.

[74]  Gaetano Borriello,et al.  Next century challenges: data-centric networking for invisible computing: the Portolano project at the University of Washington , 1999, MobiCom.

[75]  Edmund H. Durfee,et al.  Evaluating Research in Cooperative Distributed Problem Solving , 1990, Distributed Artificial Intelligence.

[76]  Bruce Hannon,et al.  Modeling Dynamic Economic Systems , 1997, Modeling Dynamic Systems.

[77]  Yixin Diao,et al.  ABLE: A toolkit for building multiagent autonomic systems , 2002, IBM Syst. J..

[78]  John Mylopoulos,et al.  Reasoning with Goal Models , 2002, ER.

[79]  B. R. Odgers,et al.  Agent-enhanced Workflow , 1998 .

[80]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[81]  Erik Hornung,et al.  The Quest for Immortality: Treasures of Ancient Egypt , 2002 .

[82]  Stephen Cranefield,et al.  Agentcities Interaction Using the Opal Platform , 2002 .

[83]  Scott A. DeLoach,et al.  Automatic Verification of Multiagent Conversations , 2000 .

[84]  Nikolaos I. Spanoudakis,et al.  Engineering JADE Agents with the Gaia Methodology , 2002, Agent Technologies, Infrastructures, Tools, and Applications for E-Services.

[85]  Coln Atkinson,et al.  Object-oriented development: The fusion method , 1996 .

[86]  B. Cheng,et al.  Specification matching for software reuse: a foundation , 1995, SSR '95.

[87]  D. Capera,et al.  The AMAS theory for complex problem solving based on self-organizing cooperative agents , 2003, WET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003..

[88]  Bernhard Bauer,et al.  Extending UML for agents , 2000 .

[89]  Liu Xin A Service-oriented Negotiation Model Between Autonomous Agents , 2003 .

[90]  D. Wolpert,et al.  No Free Lunch Theorems for Search , 1995 .

[91]  Rachid Guerraoui,et al.  Software-Based Replication for Fault Tolerance , 1997, Computer.

[92]  Paolo Bellavista,et al.  Mobile Agent Middleware for Mobile Computing , 2001, Computer.

[93]  Hein Meling,et al.  Peer-to-Peer Document Sharing using the Ant Paradigm , 2001 .

[94]  Matthias Klusch,et al.  Dynamic service matchmaking among agents in open information environments , 1999, SGMD.

[95]  Michael Luck,et al.  A Conceptual Framework for Agent Definition and Development , 2001, Comput. J..

[96]  Sandip Sen,et al.  Learning in multiagent systems , 1999 .

[97]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[98]  Michael P. Georgeff,et al.  Modelling and Design of Multi-Agent Systems , 1997, ATAL.

[99]  László Gulyás,et al.  The Multi-Agent Modelling Language and the Model Design Interface , 1999, J. Artif. Soc. Soc. Simul..

[100]  Eric Dubois,et al.  AGENT-ORIENTED REQUIREMENTS ENGINEERING A CASE STUDY USING THE ALBERT LANGUAGE , 1994 .

[101]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[102]  Alfred W. Loo,et al.  The future of peer-to-peer computing , 2003, CACM.

[103]  Brahim Chaib-draa,et al.  An overview of distributed artificial intelligence , 1996 .

[104]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.

[105]  Susan Hackwood,et al.  Self-organization of sensors for swarm intelligence , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[106]  Harry Chen,et al.  Beyond Distributed AI, Agent Teamwork in Ubiquitous Computing , 2002 .

[107]  Catholijn M. Jonker,et al.  Distributed Scheduling to Support a Call Center: A Cooperative Multiagent Approach , 1999, Appl. Artif. Intell..

[108]  Bashar Nuseibeh,et al.  Requirements engineering: a roadmap , 2000, ICSE '00.

[109]  Alexis Drogoul,et al.  Agent Oriented Design of a Soccer Robot Team , 1996 .

[110]  Alessandro Ricci,et al.  Three approaches to the coordination of multiagent systems , 2002, SAC '02.

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

[112]  Andrew E. Fano,et al.  The future of business services in the age of ubiquitous computing , 2002, CACM.

[113]  Marc-philippe Huget Generating Code for Agent UML Sequence Diagrams , 2002 .

[114]  Michael Papasimeon,et al.  Extending the UML for designing Jack agents , 2001, Proceedings 2001 Australian Software Engineering Conference.

[115]  Munindar P. Singh WRITE ASYNCHRONOUS, RUN SYNCHRONOUS , 1999 .

[116]  John Mylopoulos,et al.  Towards requirements-driven information systems engineering: the Tropos project , 2002, Inf. Syst..

[117]  A. Sashima Physically-Grounding Agents in Ubiquitous Computing , 2002 .

[118]  Michael Rovatsos,et al.  Capturing agent autonomy in roles and XML , 2003, AAMAS '03.

[119]  Franco Zambonelli,et al.  Signs of a Revolution in Computer Science and Software Engineering , 2002, ESAW.

[120]  Shankar Ponnekanti,et al.  Pervasive computing: what is it good for? , 1999, MobiDe '99.

[121]  Uwe Horn,et al.  On-demand mobile media—A rich service experience for mobile users , 2001 .

[122]  S. Brueckner Swarming Agents for Distributed Pattern Detection and Classification , 2001 .

[123]  Jie Xing,et al.  Engineering commitment-based multiagent systems: a temporal logic approach , 2003, AAMAS '03.

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

[125]  Marc-Philippe Huget Agent UML Class Diagrams Revisited , 2002, Agent Technologies, Infrastructures, Tools, and Applications for E-Services.

[126]  Marco Dorigo,et al.  The ant colony optimization meta-heuristic , 1999 .

[127]  Marie-Pierre Gervais,et al.  Towards an ADL for Designing Agent-Based Systems , 2001, AOSE.

[128]  H. Van Dyke Parunak,et al.  Information-driven phase changes in multi-agent coordination , 2003, AAMAS '03.

[129]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[130]  Gerhard Weiss,et al.  Multiagent Systems and Societies of Agents , 2000 .

[131]  Nicholas M. Avouris,et al.  Distributed artificial intelligence: theory and praxis , 1992 .

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

[133]  Akinori Yonezawa,et al.  Abstracting Object Interactions Using Composition Filters , 1993, ECOOP Workshop.

[134]  Edmund H. Durfee,et al.  Trends in Cooperative Distributed Problem Solving , 1989, IEEE Trans. Knowl. Data Eng..

[135]  Luciano Serafini,et al.  Grid Query Optimisation in the Data Grid , 2006 .

[136]  Lawrence J. Henschen,et al.  What Is Automated Theorem Proving? , 1985, J. Autom. Reason..

[137]  Danny B. Lange,et al.  Agent design patterns: elements of agent application design , 1998, AGENTS '98.

[138]  Matthias Klusch,et al.  Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace , 2002, Autonomous Agents and Multi-Agent Systems.

[139]  J. Leon Zhao,et al.  Workflow Automation: Overview and Research Issues , 2001, Inf. Syst. Frontiers.

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

[141]  Michael Luck,et al.  Personalised Grid service discovery , 2003, IEE Proc. Softw..

[142]  Marco Colombetti,et al.  Operational specification of a commitment-based agent communication language , 2002, AAMAS '02.

[143]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[144]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[145]  Simon Miles,et al.  Agents for the Grid: A Comparison with Web Services (part II: Service Discovery) , 2002 .

[146]  Munindar P. Singh An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[147]  Nicholas R. Jennings,et al.  DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework , 1997, Int. J. Cooperative Inf. Syst..

[148]  Marco Pistore,et al.  Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[149]  Timothy W. Finin,et al.  Allia: alliance-based service discovery for ad-hoc environments , 2002, WMC '02.

[150]  David Garlan,et al.  Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments , 2002, WICSA.

[151]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[152]  H. Van Dyke Parunak,et al.  Toward the Specification and Design of Industrial Synthetic Ecosystems , 1997, ATAL.

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

[154]  M. T. Malkoun,et al.  The Layered Agent Patterns 1 THE LAYERED AGENT PATTERNS , 1996 .

[155]  Steven Tuecke,et al.  The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration , 2002 .

[156]  Dieter Fensel,et al.  Structured Development of Problem Solving Methods , 2001, IEEE Trans. Knowl. Data Eng..

[157]  Mladen A. Vouk,et al.  Quality of service and scientific workflows , 1996, Quality of Numerical Software.

[158]  Nicholas R. Jennings,et al.  A methodology for agent-oriented analysis and design , 1999, AGENTS '99.

[159]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[160]  Eric S. K. Yu,et al.  Agent-Oriented Methodologies - Towards A Challenge Exemplar , 2002, AOIS@CAiSE.

[161]  Claudio Bartolini,et al.  A Semantic Web Approach to Service Description for Matchmaking of Services , 2001, SWWS.

[162]  Birgitta König-Ries,et al.  Stimulating Cooperative Behavior of Autonomous Devices: An Analysis of Requirements and Existing Approaches , 2003, Wireless Information Systems.

[163]  H. Van Dyke Parunak,et al.  Managing Emergent Behavior in Distributed Control Systems , 1997 .

[164]  Simon J. Cox,et al.  The GRID: Computational and data resource sharing in engineering optimisation and design search , 2001, Proceedings International Conference on Parallel Processing Workshops.

[165]  Gustavo Rossi,et al.  On The Evaluation Of Agent Oriented Modelling Methods , 2001 .

[166]  Sascha Ossowski,et al.  Engineering Agent Systems for Decision Support , 2002, ESAW.

[167]  Yves Deville,et al.  From AOSE methodology to agent implementation , 2002, AAMAS '02.

[168]  H. Van Dyke Parunak,et al.  Digital pheromone mechanisms for coordination of unmanned vehicles , 2002, AAMAS '02.

[169]  Philippe Massonet,et al.  GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[170]  Guy Theraulaz,et al.  Self-Organization in Biological Systems , 2001, Princeton studies in complexity.

[171]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[172]  Eric Dubois,et al.  Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements , 1998, Requirements Engineering.

[173]  Ravi S. Sandhu,et al.  Role-Based Access Control Models , 1996, Computer.

[174]  Pierre Sens,et al.  Dynamic and Adaptive Replication for Large-Scale Reliable Multi-agent Systems , 2002, SELMAS.

[175]  Edmund H. Durfee,et al.  Partial global planning: a coordination framework for distributed hypothesis formation , 1991, IEEE Trans. Syst. Man Cybern..

[176]  Timothy W. Finin,et al.  Moving from Security to Distributed Trust in Ubiquitous Computing Environments , 2001 .

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

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

[179]  Douglas C. Schmidt,et al.  Active object: an object behavioral pattern for concurrent programming , 1996 .

[180]  Manuela M. Veloso,et al.  Multiagent Systems: A Survey from a Machine Learning Perspective , 2000, Auton. Robots.

[181]  Ted Selker,et al.  A Look at Human Interaction with Pervasive Computers , 1999, IBM Syst. J..

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

[183]  Alexis Drogoul,et al.  Combining amorphous computing and reactive agent-based systems: a paradigm for pervasive intelligence? , 2002, AAMAS '02.

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

[185]  Michael Luck,et al.  Agent interaction for bioinformatics data management , 2001, Appl. Artif. Intell..

[186]  Takahiro Kawamura,et al.  Bee-gent: Bonding and Encapsulation Enhancement Agent framework for development of distributed systems , 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).

[187]  Frank Dignum,et al.  A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.

[188]  Yves Demazeau,et al.  On Social Reasoning in Multi-Agent Systems , 2001, Inteligencia Artif..

[189]  Richard N. Taylor,et al.  A framework for classifying and comparing architecture description languages , 1997, ESEC '97/FSE-5.

[190]  Michael Luck,et al.  A Formal View of Social Dependence Networks , 1995, DAI.

[191]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[192]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[193]  Radhika Nagpal,et al.  An Algorithm For Group Formation In An Amorphous Computer , 1998 .

[194]  Martin Heusse,et al.  Adaptive Agent-Driven Routing and Load Balancing in Communication Networks , 1998, Adv. Complex Syst..

[195]  Jorge J. Gómez-Sanz,et al.  Agent Oriented Analysis Using Message/UML , 2001, AOSE.

[196]  Fausto Giunchiglia,et al.  A knowledge level software engineering methodology for agent oriented programming , 2001, AGENTS '01.

[197]  Agostino Poggi,et al.  Enabling FIPA Agents on Small Devices , 2001, CIA.

[198]  Marco Dorigo,et al.  Ant system: optimization by a colony of cooperating agents , 1996, IEEE Trans. Syst. Man Cybern. Part B.

[199]  Franco Zambonelli,et al.  Tuples on the air: a middleware for context-aware computing in dynamic networks , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[200]  Jorge J. Gómez-Sanz,et al.  Meta-models for building multi-agent systems , 2002, SAC '02.

[201]  Andrew A. Chien,et al.  Runtime Mechanisms for Efficient Dynamic Multithreading , 1996, J. Parallel Distributed Comput..

[202]  Michael Winikoff,et al.  Prometheus: a practical agent oriented methodology , 2002 .

[203]  Scott A. DeLoach,et al.  Automated Derivation of Complex Agent Architectures from Analysis Specifications , 2001, AOSE.

[204]  Alan Messer,et al.  Towards a distributed platform for resource-constrained devices , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[205]  G. Van De Vijver Emergence et explication : Emergence et explication , 1997 .

[206]  Michael Winikoff,et al.  Debugging multi-agent systems using design artifacts: the case of interaction protocols , 2002, AAMAS '02.

[207]  Brian Henderson-Sellers,et al.  Full Lifecycle Methodologies for Agent-Oriented Systems - The Extended OPEN Process Framework , 2002, AOIS@CAiSE.

[208]  Rune Gustavsson,et al.  Articulation of an open computational system for network-centric warfare , 2003 .

[209]  Andrea Omicini,et al.  From tuple spaces to tuple centres , 2001, Sci. Comput. Program..

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

[211]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[212]  Agostino Poggi,et al.  A development toolkit to realize autonomous and interoperable agents , 2001, AGENTS '01.

[213]  Michael Winikoff,et al.  An exploration of bugs and debugging in multi-agent systems , 2003, AAMAS '03.

[214]  Takahiro Kawamura,et al.  Importing the Semantic Web in UDDI , 2002, WES.

[215]  Katia P. Sycara,et al.  The RETSINA MAS Infrastructure , 2003, Autonomous Agents and Multi-Agent Systems.

[216]  Jörg P. Müller,et al.  Modelling Reactive Behaviour in Vertically Layered Agent Architectures , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[217]  Timothy W. Finin,et al.  A Proposal for a new KQML Specification , 1997 .

[218]  John Mylopoulos,et al.  Specifying and analyzing early requirements in Tropos , 2004, Requirements Engineering.

[219]  Lin Padgham,et al.  An Open Meteorological Alerting System: Issues and Solutions , 2004, ACSC.

[220]  Kenneth M. Anderson,et al.  A View of Software Development Environments Based on Activity Theory , 2002, Computer Supported Cooperative Work (CSCW).

[221]  Agostino Poggi,et al.  Developing multi‐agent systems with a FIPA‐compliant agent framework , 2001 .

[222]  Steven Tuecke,et al.  The Anatomy of the Grid , 2003 .

[223]  Rino Falcone,et al.  Towards a theory of delegation for agent-based systems , 1998, Robotics Auton. Syst..

[224]  Onn Shehory,et al.  A Framework for Evaluating Agent-Oriented Methodologies , 2003, AOIS.

[225]  Matthias Klusch,et al.  Brokering and Matchmaking for Coordination of Agent Societies: A Survey , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[226]  Frank Schweitzer,et al.  Communication and Self-Organisation in Complex Systems: A Basic Approach , 2001 .

[227]  Kevin Crowston,et al.  The interdisciplinary study of coordination , 1994, CSUR.

[228]  Sarah Rebecca Thomas,et al.  PLACA, an agent oriented programming language , 1993 .

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

[230]  Scott A. DeLoach,et al.  Designing and specifying mobility within the multiagent systems engineering methodology , 2003, SAC '03.

[231]  Emil C. Lupu,et al.  A Policy Language for the Management of Distributed Agents , 2001, AOSE.

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

[233]  Leslie Pack Kaelbling,et al.  A Situated View of Representation and Control , 1995, Artif. Intell..

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

[235]  Nicholas R. Jennings,et al.  Pitfalls of agent-oriented development , 1998, AGENTS '98.

[236]  Munindar P. Singh,et al.  Multiagent Treatment of Agenthood , 1999, Appl. Artif. Intell..

[237]  Andrea Omicini,et al.  Coordination knowledge engineering , 2002, Knowl. Eng. Rev..

[238]  H. Van Dyke Parunak,et al.  Swarming Coordination of Multiple UAV's for Collaborative Sensing , 2003 .

[239]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[240]  Timothy W. Finin,et al.  The current landscape of Agent Communication Languages , 1999 .

[241]  G. Beni,et al.  Stationary waves in cyclic swarms , 1992, Proceedings of the 1992 IEEE International Symposium on Intelligent Control.

[242]  Lin Liu,et al.  Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach , 2002, CAiSE.

[243]  S. Rebecca Thomas,et al.  The PLACA Agent Programming Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[244]  Ying Li,et al.  Modelling Strategic Actor Relationships to Support Intellectual Property Management , 2001, ER.

[245]  Ronald L. Rivest,et al.  Certificate Chain Discovery in SPKI/SDSI , 2002, J. Comput. Secur..

[246]  CurberaFrancisco,et al.  Unraveling the Web Services Web , 2002 .

[247]  H. Van Dyke Parunak,et al.  DIGITAL PHEROMONES FOR AUTONOMOUS COORDINATION OF SWARMING UAV'S , 2002 .

[248]  Feng Wan,et al.  Commitments and causality for multiagent design , 2003, AAMAS '03.

[249]  Walter Binder,et al.  Using a Secure Mobile Object Kernel as Operating System on Embedded Devices to Support the Dynamic Upload of Applications , 2002, Mobile Agents.

[250]  Peter F. Patel-Schneider,et al.  The DARPA Knowledge Sharing Effort: A Progress Report , 1997, KR.

[251]  E. Michael Maximilien,et al.  Reputation and endorsement for web services , 2001, SECO.

[252]  Mercedes Garijo Ayestaran,et al.  Analysis and Design of Multiagent Systems Using MAS-Common KADS , 1997, ATAL.

[253]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

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

[255]  P. Noriega,et al.  Auctions and Multi-agent Systems , 1999 .

[256]  Dejan S. Milojicic,et al.  MASIF: The OMG mobile agent system interoperability facility , 1998, Personal Technologies.

[257]  M. Wooldridge,et al.  Organisational Abstractions for the Analysis and Design of Multi-Agent Systems , 2000 .

[258]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[259]  T. Ishida,et al.  An equilibratory market-based approach for distributed resource allocation and its applications to communication network control , 1996 .

[260]  Andrea Omicini,et al.  Coordination Tools for MAS Development and Deployment , 2002, Appl. Artif. Intell..

[261]  Andrea Omicini,et al.  Objective versus Subjective Coordination in the Engineering of Agent Systems , 2003, AgentLink.

[262]  Scott A. DeLoach,et al.  Integrating Ontologies into Multiagent Systems Engineering , 2002, AOIS@AAMAS.

[263]  David Kerr,et al.  Experiences Using Intelligent Agent Technologies as a Unifying Approach to Network Management, Service Management and Service Delivery , 1998, IS&N.

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

[265]  Catholijn M. Jonker,et al.  Principles of component-based design of intelligent agents , 2002, Data Knowl. Eng..

[266]  Robert Stevens,et al.  Semantic and Personalised Service Discovery , 2003 .

[267]  Luc Moreau,et al.  Issues in Building Agent based Computational Grids , 2000 .

[268]  Scott A. DeLoach,et al.  Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. Developing Multiagent Systems with agentTool , 2022 .

[269]  D. Ralph,et al.  Services Via Mobility Portals , 2001 .

[270]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

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

[272]  John Arquilla,et al.  Swarming and the Future of Conflict , 2000 .

[273]  Kalle Lyytinen,et al.  Issues and Challenges in Ubiquitous Computing , 2002 .

[274]  Alain Pirotte,et al.  Social Patterns for Designing Multiagent Systems , 2003, SEKE.

[275]  Gauthier Picard,et al.  Tools for Self-Organizing Applications Engineering , 2003, Engineering Self-Organising Systems.

[276]  Koen V. Hindriks,et al.  A Formal Architecture for the 3APL Agent Programming Language , 2000, ZB.

[277]  Andrea Omicini,et al.  Formal Specification and Enactment of Security Policies through Agent Coordination Contexts , 2003, SecCo.

[278]  Alexis Drogoul,et al.  Methodological Issues for Designing Multi-Agent Systems with Machine Learning Techniques: Capitalizing Experiences from the RoboCup Challenge , 1998 .

[279]  Brahim Chaib-draa,et al.  The cognitive coherence approach for agent communication pragmatics , 2003, AAMAS '03.

[280]  Aaron Marcus,et al.  Software visualization for debugging , 1997, CACM.

[281]  Susan Hackwood,et al.  Self-organizing sensors by deterministic annealing , 1991, Proceedings IROS '91:IEEE/RSJ International Workshop on Intelligent Robots and Systems '91.

[282]  Munindar P. Singh,et al.  An evidential model of distributed reputation management , 2002, AAMAS '02.

[283]  Katia P. Sycara,et al.  Middle-Agents for the Internet , 1997, IJCAI.

[284]  Dirk Heylen,et al.  The Virtual Storyteller: story creation by intelligent agents , 2003 .