Formal Specification of Evolutionary Software Agents

How to specify agent's intelligent behaviour is a challenging open problem in the development of agent-based systems. This paper presents a case study of developing the formal specification of the evolutionary multi-agent ecosystem Amalthaea developed at MIT Media Lab. A diagrammatic notation is used for the development of agent models and to derive a formal specification of the system in SLABS, which is a formal specification language for agent-based systems

[1]  Danny B. Lange,et al.  Mobile Objects and Mobile Agents: The Future of Distributed Computing? , 1998, ECOOP.

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

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

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

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

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

[7]  Nicholas R. Jennings.  Agent-Oriented Software Engineering , 1999, MAAMAW.

[8]  Michael Wooldridge,et al.  A Formal Specification of dMARS , 1997, ATAL.

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

[10]  Bernard Moulin,et al.  A Scenario-Based Design Method and an Environment for the Development of Multiagent Systems , 1995, DAI.

[11]  Stanislaw Ambroszkiewicz,et al.  A Model of BDI-Agent in Game-Theoretic Framework , 1997, ModelAge Workshop.

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

[13]  Michael Wooldridge,et al.  Agent technology: foundations, applications, and markets , 1998 .

[14]  Nicholas R. Jennings,et al.  On agent-based software engineering , 2000, Artif. Intell..

[15]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[16]  Hong Zhu,et al.  SLABS: A Formal Specification Language for Agent-Based Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[17]  Pierre-Yves Schobbens,et al.  Formal Models of Agents: An Introduction , 1997, ModelAge Workshop.

[18]  Alexandros Moukas.  Amalthaea Information Discovery and Filtering Using a Multiagent Evolving Ecosystem , 1997, Appl. Artif. Intell..

[19]  Cristiano Castelfranchi,et al.  Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages , 2000 .

[20]  Hong Zhu,et al.  Automatic generation of formal specification from requirements definition , 1997, First IEEE International Conference on Formal Engineering Methods.

[21]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[22]  Hong Zhu,et al.  Scenario Analysis in an Automated Tool for Requirements Engineering , 2000, Requirements Engineering.

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

[24]  Hong Zhu,et al.  Formal Specification of Agent Behaviour through Environment Scenarios , 2000, FAABS.

[25]  Pierre-Yves Schobbens,et al.  Formal Models of Agents (ESPRIT Project Modelage Final Workshop, Selected papers) , 1999 .

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

[27]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.