Agent-Oriented Software Engineering III

Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions

  • Fausto Giunchiglia
  • James Odell
  • Gerhard Weiß
Conference proceedings AOSE 2002

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Modeling, Specification, and Validation

    1. Alexander Artikis, Marek Sergot, Jeremy Pitt
      Pages 1-15
    2. James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
      Pages 16-31
    3. Massimo Benerecetti, Alessandro Cimatti
      Pages 32-46
  3. Patterns,Architectures,and Reuse

    1. Michael Duvigneau, Daniel Moldt, Heiko Rölke
      Pages 59-72
    2. Stefan Bussmann, Nicholas R. Jennings, Michael Wooldridge
      Pages 73-87
    3. Claudio Bartolini, Chris Preist, Nicholas R. Jennings
      Pages 88-100
    4. Paolo Giorgini, Manuel Kolp, John Mylopoulos
      Pages 101-112
  4. UML and Agent Systems

    1. Martin L. Griss, Steven Fonseca, Dick Cowan, Robert Kessler
      Pages 113-125
    2. Jean-Luc Koning, Ivan Romero-Hernandez
      Pages 126-137
    3. Marc-Philippe Huget
      Pages 150-161
  5. Methodologies and Tools

    1. Fausto Giunchiglia, John Mylopoulos, Anna Perini
      Pages 162-173
    2. Lin Padgham, Michael Winikoff
      Pages 174-185
    3. Thomas Juan, Leon Sterling, Michael Winikoff
      Pages 198-209
  6. Positions and Perspectives

    1. Jörg P. Müller, Bernhard Bauer
      Pages 210-227
  7. Back Matter
    Pages 229-229

About these proceedings


Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It is now widely recognised thatinteraction is probably the most important single char- teristic of complex software. Software architectures that contain many dyna- cally interacting components, each with their own thread of control, and eng- ing in complex coordination protocols, are typically orders of magnitude more complex to correctly and e?ciently engineer than those that simply compute a function of some input through a single thread of control. Unfortunately, it turns out that many (if not most) real-world applications have precisely these characteristics. As a consequence, a major research topic in c- puter science over at least the past two decades has been the development of tools and techniques to model, understand, and implement systems in which interaction is the norm. Indeed, many researchers now believe that in future computation itself will be understood as chie?y a process of interaction.


UML Unified Modeling Language (UML) agent architectures agent technology agent-based systems agent-oriented software engineering formal methods modeling multi-agent system object-oriented programming software agent software architecture software patterns specification validation

Editors and affiliations

  • Fausto Giunchiglia
    • 1
  • James Odell
    • 2
  • Gerhard Weiß
    • 3
  1. 1.Department of Information and Communication TechnologyUniversity of TrentoTrentoItaly
  2. 2.Ann ArborUSA
  3. 3.Institut für Informatik TechnischeGarchingGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00713-5
  • Online ISBN 978-3-540-36540-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site