A formal specification language for agent-oriented software engineering

This paper reports a formal specification language SLABS for developing multi-agent systems. One of the most appealing features of agent technology is its natural way to modularise complex systems in terms of multiple interacting autonomous components. This feature is supported by the language facility castes in the formal specification language SLABS for modular and composable specification of multi-agent systems.

[1]  Michael Fisher,et al.  If Z Is the Answer, What Could the Question Possibly Be? , 1996, ATAL.

[2]  Munindar P. Singh.  Semantical Considerations on Some Primitives for Agent Specification , 1995, ATAL.

[3]  Mohamed Jmaiel,et al.  Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems , 1998, DAI.

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

[5]  Gunter Saake,et al.  Towards an Agent-Oriented Framework for Specification of Information Systems , 1997, ModelAge Workshop.

[6]  Rob Sherwood,et al.  The Techsat-21 autonomous space science agent , 2002, AAMAS '02.

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

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

[9]  Hong Zhu,et al.  A Formal Specification Language for MAS Engineering , 2001 .

[10]  Hong Zhu,et al.  The Role of Castes in Formal Specification of MAS , 2001, PRIMA.

[11]  Shlomo Zilberstein.  Reasoning about Rational Agents: A Review , 2001, AI Mag..

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

[13]  Timo Steffens,et al.  Understanding Agent Systems , 2004, Künstliche Intell..

[14]  Sahin Albayrak,et al.  Agent-oriented technology for telecommunications: introduction , 2001, CACM.

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

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

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

[18]  José Carlos González,et al.  Analysis and Design of multiagent systems using MAS-CommonKADS , 1998 .

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

[20]  Simon Goss,et al.  Interchanging Agents and Humans in Military Simulation , 2002, AI Mag..

[21]  Sascha Ossowski,et al.  Social Structure in Artificial Agent Societies: Implications for Autonomous Problem-Solving Agents , 1998, ATAL.

[22]  Hong Zhu,et al.  Formal Specification of Evolutionary Software Agents , 2002, ICFEM.

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

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

[25]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[26]  Louis Cloutier,et al.  Collaborative work based on multiagent architectures: a methodological perspective , 1994 .

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

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

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

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

[31]  Michael Luck,et al.  Understanding Agent Systems , 2001, Springer Series on Agent Technology.

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

[33]  Andrew S. Tanenbaum,et al.  Distributed systems: Principles and Paradigms , 2001 .