The papers selected for this volume present advances in software engineering approaches to develop dependable high-quality multi-agent systems. These papers describe experiences and techniques associated with large multi-agent systems in a wide variety of problem domains. They cover fault tolerance, exception handling and diagnosis, security and trust, verification and validation, as well as early development phases and software reuse.

This book presents a coherent, well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of real-world MAS. Reflecting the importance of agent properties in today's software systems, the power of agent-based software engineering is illustrated using examples that are representative of successful applications.

This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of real-world MAS. The power of agent-based software engineering is illustrated using examples that are representative of successful applications.

The 16 thoroughly reviewed and revised full papers are organized in topical sections on agent methodologies and processes, requirements engineering and software architectures, modeling languages, and dependability and coordination. Most of the papers were initially presented at the 3rd International Workshop on Software Engineering for Large-Scale Multi-agent Systems, SELMAS 2004, held in Edinburgh, UK in May 2004 in association with ICSE 2004. Other papers were invited to complete coverage of all relevant aspects.

Advances in networking technology have revitalized the investigation of agent technologyasapromisingparadigmforengineeringcomplexdistributedsoftware systems. Agent technology has been applied to a wide range of application - mains, including e-commerce, human-computer interfaces, telecommunications, and software assistants. Multi-agent systems (MASs) and their underlying t- ories provide a more natural support for ensuring important properties such as autonomy, mobility, environment heterogeneity, organization, openness, and intelligence. As a consequence, agent-based systems are likely to provide new - proaches to dealing with the complexity of developing and maintaining modern software. However, developing robust large-scale agent-based systems will - quire new software engineering approaches. There are currently many methods and techniques for working with individual agents or with systems built using only a few agents. Unfortunately, agent-based software engineering is still in its infancy and existing software engineering approaches are unable to cope with large MASs. The complexity associated with a large MAS is considerable. When a huge number of agents interact over heterogeneous environments, various phenomena occur which are not as easy to capture as when only a few agents are working together. As the multiple software agents are highly collaborative and operate in networked environments, they have to be context-aware and deal with - vironment uncertainty. This makes their coordination and management more di?cult and increases the likelihood of exceptional situations, such as security holes, privacy violations, and unexpected global e?ects. Moreover, as users and softwareengineersdelegatemoreautonomytotheirMASs, andputmoretrustin their results, new concerns arise in real-life applications

Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services. The agent metaphor, in particular software agents and multi-agent systems (MAS), constitutes a promising approach for covering most of the software development life cycle, from conceptual modeling and requirements specification to architectural definition, design, and implementation. This book presents 17 carefully reviewed papers arranged in order to provide a coherent survey of how to exploit agent properties and MAS issues in today's software systems. The book offers the following topical sections: - software engineering foundations - requirements engineering and software architecture - coordination and mobility - reuse -dependability -empirical studies and applications