Agent-Oriented Software Engineering VII

7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

  • Editors
  • Lin Padgham
  • Franco Zambonelli
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4405)

Table of contents

  1. Front Matter
  2. Modelling and Design of Agent Systems

    1. Scott A. DeLoach, Jorge L. Valenzuela
      Pages 1-18
    2. Ivan J. Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
      Pages 19-34
    3. Alessandro Garcia, Christina Chavez, Ricardo Choren
      Pages 35-50
  3. Modelling Open Agent Systems

    1. Mario Kusek, Gordan Jezic
      Pages 51-63
    2. Gustavo Carvalho, Carlos J. P. de Lucena, Rodrigo Paes, Ricardo Choren, Jean-Pierre Briot
      Pages 64-83
    3. Carles Sierra, John Thangarajah, Lin Padgham, Michael Winikoff
      Pages 84-103
  4. Formal Reasoning About Designs

    1. Alexei Lapouchnian, Yves Lespérance
      Pages 104-121
    2. Anarosa A. F. Brandão, Viviane Torres da Silva, Carlos J. P. de Lucena
      Pages 122-139
    3. Yudistira Asnar, Volha Bryl, Paolo Giorgini
      Pages 140-155
  5. Testing, Debugging and Evolvability

    1. Ali Murat Tiryaki, Sibel Öztuna, Oguz Dikenelli, Riza Cenk Erdur
      Pages 156-173
    2. Gaya Buddhinath Jayatilleke, Lin Padgham, Michael Winikoff
      Pages 190-207
    3. Joaquin Peña, Michael G. Hinchey, Antonio Ruiz-Cortés, Pablo Trinidad
      Pages 208-224
  6. Back Matter

About these proceedings

Introduction

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for supporting the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers and research groups in the area of Agent-Oriented Software Engineering. The papers present leading edge research in this field, which is of critical importance in facilitating industry take-up of powerful agent technologies.

This volume constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Agent-Oriented Software Engineering, AOSE 2006, held in Hakodate, Japan, in May 2006 as part of AAMAS 2006. The 13 revised full papers were carefully selected from numerous submissions during two rounds of reviewing and improvement and have been complemented by invited papers from leading researchers in the field. The papers are organized in topical sections on modelling and design of agent systems, modelling open agent systems, formal reasoning about designs, as well as testing, debugging and evolvability.

Keywords

Debugging Monitor Unified Modeling Language (UML) agent UML agent architecture agent technology formal methods modeling multi-agent system multi-agent systems multiagent metamodels ontology planning risk analysis software pa

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-70945-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-70944-2
  • Online ISBN 978-3-540-70945-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book