A Formal Method for the Development of Agent-Based Systems

A Formal Method for the Development of Agent-Based Systems

P. Kefalas (CITY College, Greece), M. Holcombe (University of Sheffield, UK), G. Eleftherakis (CITY College, Greece) and M. Gheorghe (University of Sheffield, UK)
Copyright: © 2003 |Pages: 31
DOI: 10.4018/978-1-59140-046-2.ch004
OnDemand PDF Download:
$37.50

Abstract

Recent advances in testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a powerful way in the design of agent-based systems. The software engineering research has highlighted a number of important issues: the importance of the type of modeling technique used; the careful design of the model to enable powerful testing techniques to be used; the automated verification of the behavioral properties of the system; and the need to provide a mechanism for translating the formal models into executable software in a simple and transparent way. This chapter presents a detailed and comprehensive account of the ways in which some modern software engineering research can be applied to the construction of effective and reliable agent-based software systems. More specifically, we intend to show how simple agents motivated from biology can be modeled as X-machines. Such modeling will facilitate verification and testing of an agent model, because appropriate strategies for model checking and testing are already developed around the X-machine method. In addition, modular construction of agent models is feasible, because X-machines are provided with communicating features, which allow simple models to interact.

Complete Chapter List

Search this Book:
Reset
Table of Contents
Preface
Valentina Plekhanova
Acknowledgments
Valentina Plekhanova
Chapter 1
Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso
In order to be truly autonomous, agents need the ability to learn from and adapt to the environment and other agents. This chapter introduces key... Sample PDF
Machine Learning for Agents and Multi-Agent Systems
$37.50
Chapter 2
Darryl N. Davis
In this chapter, research into the nature of drives and motivations in computational agents is visited from a perspective drawing on artificial life... Sample PDF
Architectures for Cognitive and A-Life Agents
$37.50
Chapter 3
Luc Moreau, Norliza Zaini, Don Cruickshank, David De Roure
SoFAR, the Southampton Framework for Agent Research, is a versatile multiagent framework designed for Distributed Information Management tasks.... Sample PDF
SoFAR: An Agent Framework for Distributed Information Management
$37.50
Chapter 4
P. Kefalas, M. Holcombe, G. Eleftherakis, M. Gheorghe
Recent advances in testing and verification of software based on formal specifications of the system to be built have reached a point where the... Sample PDF
A Formal Method for the Development of Agent-Based Systems
$37.50
Chapter 5
Penny Baillie, Mark Toleman, Dickson Lukose
Interacting with intelligence in an ever-changing environment calls for exceptional performances from artificial beings. One mechanism explored to... Sample PDF
Engineering Emotionally Intelligent Agents
$37.50
Chapter 6
Robert E. Smith, Claudio Bonacina
In the multi-agent system (MAS) context, the theories and practices of evolutionary computation (EC) have new implications, particularly with regard... Sample PDF
Evolutionary Computation as a Paradigm for Engineering Emergent Behaviour in Multi-Agent Systems
$37.50
Chapter 7
Luis Brito, Paulo Novais, Jose Neves
The use of agents in Electronic Commerce environments leads to the necessity to introduce some formal analysis and definitions. A four-step method... Sample PDF
The Logic Behind Negotiation: From Pre-Argument Reasoning to Argument-Based Negotiation
$37.50
Chapter 8
J. Debenham, B. Henderson-Sellers
Originally a development methodology targeted at object technology, the OPEN Process Framework (OPF) is found to be a successful basis for... Sample PDF
Designing Agent-Based Process Systems-Extending the OPEN Process Framework
$37.50
Chapter 9
Virginia Dignum, Hans Weigand
In this chapter, we present a framework for the design of agent societies that considers the influence of social organizational aspects on the... Sample PDF
Toward an Organization-Oriented Design Methodology for Agent Societies
$37.50
Chapter 10
Ricardo Aler, David Camacho, Alfredo Moscardini
In this paper, we present a multiagent system approach with the purpose of building computer programs. Each agent in the multiagent system will be... Sample PDF
Cooperation Between Agents to Evolve Complete Programs
$37.50
About the Authors