Modular Multi-Agent Design

In this paper our aim is to bring together formal specification, automated verification, dynamic agent organisations, and visual modelling in order to provide a simple, but semantically coherent, framework for designing and developing multi-agent systems.

[1]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

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

[3]  MICHAEL FISHER.  Temporal Semantics for Concurrent Metatem , 1996, J. Symb. Comput..

[4]  Stephan Merz,et al.  Model Checking , 2000 .

[5]  Edmund M. Clarke,et al.  Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..

[6]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[7]  John-Jules Ch. Meyer,et al.  Formalising Abilities and Opportunities of Agents , 1998, Fundam. Informaticae.

[8]  Armin Biere,et al.  Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function , 2002, Formal Methods Syst. Des..

[9]  Franco Zambonelli,et al.  Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology , 2005, AOSE.

[10]  Franco Zambonelli,et al.  Experiencing AUML in the GAIA Methodology , 2004, ICEIS.

[11]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[12]  David Garlan,et al.  Specifying and Analyzing Dynamic Software Architectures , 1998, FASE.

[13]  K. Mani Chandy,et al.  Proofs of Networks of Processes , 1981, IEEE Transactions on Software Engineering.

[14]  Michael Fisher,et al.  Representing Abstract Agent Architectures , 1998, ATAL.

[15]  Orna Kupferman,et al.  µ-Calculus Synthesis , 2000, MFCS.

[16]  Michael Fisher,et al.  Programming Verifiable Heterogeneous Agent Systems , 2009, ProMAS.

[17]  Mary Shaw,et al.  Formulations and Formalisms in Software Architecture , 1995, Computer Science Today.

[18]  Michael Fisher,et al.  MetateM: The Story so Far , 2005, PROMAS.

[19]  Michael Fisher,et al.  Temporal Development Methods for Agent-Based Systems , 2005 .

[20]  Michael Fisher,et al.  Organising Software in Active Environments , 2004, CLIMA.

[21]  Michael Fisher,et al.  Organising Computation through Dynamic Grouping , 2003, Objects, Agents, and Features.

[22]  Zohar Manna,et al.  Toward automatic program synthesis , 1971, Symposium on Semantics of Algorithmic Languages.

[23]  Michael Fisher,et al.  Language Constructs for Multi-agent Programming , 2008, CLIMA.

[24]  Sriram K. Rajamani,et al.  The SLAM Toolkit , 2001, CAV.

[25]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[26]  Michael Fisher,et al.  A Common Basis for Agent Organisation in BDI Languages , 2008, LADS.

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

[28]  Michael Fisher,et al.  Flexible Agent Grouping In Executable Temporal Logic , 1999 .

[29]  Michael Luck,et al.  Agent-Oriented Software Engineering V , 2004 .

[30]  Rafael H. Bordini,et al.  Automated Verification of Multi-Agent Programs , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[31]  Rafael Heitor Bordini,et al.  Verifying Multi-agent Programs by Model Checking , 2006, Autonomous Agents and Multi-Agent Systems.

[32]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[33]  Steve Schneider.  The B-method - an introduction , 2001, The cornerstones of computing series.

[34]  Leslie Lamport,et al.  Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.

[35]  Michael Wooldridge,et al.  A Common Semantic Basis for BDI Languages , 2007, PROMAS.

[36]  Leslie Lamport,et al.  Proving Liveness Properties of Concurrent Programs , 1982, TOPL.

[37]  D. Dickson.  The story so far… , 2000, Nature.

[38]  Scott A. DeLoach,et al.  O-MaSE: A Customizable Approach to Developing Multiagent Development Processes , 2007, AOSE.

[39]  John Howse,et al.  Precise visual modeling: A case-study , 2004, Software & Systems Modeling.

[40]  Bernd Finkbeiner,et al.  Distributed Synthesis for Alternating-Time Logics , 2007, ATVA.

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

[42]  Franco Zambonelli,et al.  Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[43]  Michael Wooldridge,et al.  Model checking rational agents , 2004, IEEE Intelligent Systems.

[44]  Letizia Leonardi,et al.  Methodologies for Designing Agent Societies , 2008, 2008 International Conference on Complex, Intelligent and Software Intensive Systems.

[45]  Cliff B. Jones,et al.  Tentative steps toward a development method for interfering programs , 1983, TOPL.

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