Agent technology: foundations, applications, and markets
Agent technology: foundations, applications, and markets
Readings in agents
On agent-based software engineering
Artificial Intelligence
Mobile Objects and Mobile Agents: The Future of Distributed Computing?
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
A Model of BDI-Agent in Game-Theoretic Framework
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
A formal specification language for agent-oriented software engineering
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
On the convergence of autonomous agent communities
Multiagent and Grid Systems
CAMLE: a caste-centric agent-oriented modelling language and environment
Software Engineering for Multi-Agent Systems III
| Hi-index | 0.00 |
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