Formal Approaches to Agent-Based Systems

Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers

  • Michael G. Hinchey
  • James L. Rash
  • Walter F. Truszkowski
  • Christopher Rouff
  • Diana Gordon-Spears
Conference proceedings FAABS 2002

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2699)

Table of contents

  1. Front Matter
  2. “What Is an Agent and Why Should I Care?”

    1. Tim Menzies, Adrian Pearce, Clinton Heinze, Simon Goss
      Pages 1-14
    2. Michael Fisher, Chiara Ghidini, Benjamin Hirsch
      Pages 15-27
    3. Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline
      Pages 28-36
    4. Virginia Dignum, John-Jules C. Meyer, Frank Dignum, Hans Weigand
      Pages 37-52
    5. Stacy D. Nelson, Charles Pecheur
      Pages 53-67
    6. Jeffrey Van Baalen, Thomas Böhne
      Pages 68-78
    7. Joaquín Peña, Rafael Corchuelo, José Luis Arjona
      Pages 79-91
    8. Kiriakos Kiriakidis, Diana F. Gordon-Spears
      Pages 92-102
    9. Hyuckchul Jung, Ranjit Nair, Milind Tambe, Stacy Marsella
      Pages 103-114
    10. Peter J. Robinson, Mike Hinchey, Keith Clark
      Pages 162-172
    11. Mikaël Marche, Yves-Marie Quemener
      Pages 173-192
    12. Diana F. Gordon-Spears, William M. Spears
      Pages 193-207
    13. Tim Menzies, David Owen, Bojan Cukic
      Pages 208-219
    14. Jeffrey Hicks, Richard Flanagan, Plamen Petrov, Alexander Stoyen
      Pages 220-232
  3. Panel Session on “Applications”

    1. Front Matter
      Pages 233-233
    2. Charles Pecheur
      Pages 236-238
    3. Stuart Aldridge, Alexander Stoyen, Jeffrey Hicks, Plamen Petrov
      Pages 241-253
  4. Panel Session on “Asimov’s Laws”

    1. Front Matter
      Pages 255-255
    2. Diana F. Gordon-Spears
      Pages 257-259
    3. James P. Hogan
      Pages 260-263
    4. Yoji Kondo
      Pages 264-265
  5. Panel Session on “Tools and Education”

    1. Front Matter
      Pages 267-267
    2. John-Jules C. Meyer
      Pages 274-279
  6. Poster Presentations

    1. Front Matter
      Pages 281-281
    2. Michel Rudnianski, Hélène Bestougeff
      Pages 286-289
    3. Craig Schlenoff, Michael Gruninger
      Pages 290-291
    4. Alexander Hoole, Issa Traore, Michael Liu Yanguo
      Pages 292-293
    5. Birna van Riemsdijk, Wiebe van der Hoek, John-Jules C. Meyer
      Pages 294-295
  7. Back Matter

About these proceedings


The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While developing this system, several race conditions arose within and between agents. Due to the complexity of the agents and the communications between them, it was decided that a formal approach was needed to specify the agents and the communications between them, so that the system could be checked for additional errors. A formal model of the inter-agent communications was developed, with the expectation that this would enable us to find more errors. Success in this convinced us of the importance of using formal methods to model agent-based systems. To share our own experiences and to learn how others were approaching these issues, we decided to hold a workshop on formal methods and agent-based systems. The response was overwhelming. The result was the first FAABS workshop, which was held at the NASA Goddard Space Flight Center. Posters, paper presentations, panels, and an invited talk by J Moore stimulated much discussion and subsequent collaboration.


Automat XML autonom autonomous agents communication formal specification formal verification verification

Editors and affiliations

  • Michael G. Hinchey
    • 1
  • James L. Rash
    • 2
  • Walter F. Truszkowski
    • 3
  • Christopher Rouff
    • 4
  • Diana Gordon-Spears
    • 5
  1. 1.Department of Computer ScienceLoyola College in MarylandBaltimoreUSA
  2. 2.Advanced Architectures and Automation Branch, NASA Goddard Space Flight CenterGreenbeltUSA
  3. 3.NASA Goddard Space Flight CenterGreenbeltUSA
  4. 4.Advanced Technology Laboratories, Lockheed Martin CorporationArlingtonUSA
  5. 5.Computer Science DepartmentUniversity ofWyomingLaramieUSA

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-40665-5
  • Online ISBN 978-3-540-45133-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences