Software Engineering for Multi-Agent Systems V

Research Issues and Practical Applications

  • Editors
  • Ricardo Choren
  • Alessandro Garcia
  • Holger Giese
  • Ho-fung Leung
  • Carlos Lucena
  • Alexander Romanovsky
Conference proceedings SELMAS 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4408)

Table of contents

  1. Front Matter
  2. Fault Tolerance

    1. Maíra A. de C. Gatti, Gustavo R. de Carvalho, Rodrigo B. de Paes, Carlos J. P. de Lucena, Jean-Pierre Briot
      Pages 1-20
    2. Budi Arief, Alexei Iliasov, Alexander Romanovsky
      Pages 21-40
  3. Exception Handling and Diagnosis

    1. Eric Platon, Nicolas Sabouret, Shinichi Honiden
      Pages 41-56
    2. Nelio Cacho, Karla Damasceno, Alessandro Garcia, Alexander Romanovsky, Carlos Lucena
      Pages 57-76
    3. Nazaraf Shah, Kuo-Ming Chao, Nick Godwin
      Pages 77-98
  4. Security and Trust

    1. Adam Pridgen, Christine Julien
      Pages 99-116
    2. S. Dehousse, S. Faulkner, H. Mouratidis, M. Kolp, P. Giorgini
      Pages 117-131
  5. Verification and Validation

    1. Jorge Gonzalez-Palacios, Michael Luck
      Pages 132-147
    2. Renata S. S. Guizzardi, Giancarlo Guizzardi, Anna Perini, John Mylopoulos
      Pages 148-164
  6. Early Development Phases and Software Reuse

    1. Carla Silva, Jaelson Castro, Patrícia Tedesco, João Araújo, Ana Moreira, John Mylopoulos
      Pages 165-184
    2. Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama
      Pages 185-203
    3. Danny Weyns, Tom Holvoet
      Pages 204-231
  7. Back Matter

About these proceedings


Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. Agent concepts hold great promise for responding to the new realities of large-scale distributed systems. Multi-agent systems (MASs) and their underlying theories provide a more natural support for ensuring important agent properties, such as autonomy, environment heterogeneity, organization and openness. Nevertheless, a software agent is an inherently more complex abstraction, posing new challenges to software engineering. Without adequate development te- niques and methods, MASs will not be sufficiently dependable, thus making their wide adoption by the industry more difficult. The dependability of a computing system is its ability to deliver a service that can be justifiably trusted. It is a singular time for dependable distributed systems, since the traditional models we use to express the relationships between a computational process and its environment are changing from the standard deterministic types into ones that are more distributed and dynamic. This served as a guiding principle for planning the Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2006) workshop, starting with selecting the theme, “building dependable multi-agent systems.” It acknowledges our belief in the increasingly vital role dependability plays as an essential element of MAS development.


Software Engineering agent architectures agent-based software engineering agent-based workflow services agent-oriented modeling agent-oriented software engineering ambient intelligence architectural design availability context­awareness design multi-agent system proving validation verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-73130-6
  • Online ISBN 978-3-540-73131-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment