Formal Approaches to Agent-Based Systems Second International Worksh
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 aut
- PDF / 4,387,070 Bytes
- 298 Pages / 430 x 660 pts Page_size
- 50 Downloads / 174 Views
Subseries of Lecture Notes in Computer Science
2699
3
Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Michael G. Hinchey James L. Rash Walter F. Truszkowski Christopher Rouff Diana Gordon-Spears (Eds.)
Formal Approaches toAgent-Based Systems Second International Workshop, FAABS 2002 Greenbelt, MD, USA, October 29-31, 2002 Revised Papers
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Michael G. Hinchey James L. Rash Walter F. Truszkowski NASA Goddard Space Flight Center Mailstop 588.0 Greenbelt, MD 20771, USA Christopher Rouff SAIC 1710 SAIC Drive McLean, VA 22102, USA Diana Gordon-Spears University of Wyoming Computer Science Department Laramie, WY 82070, USA Cataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress. Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at . CR Subject Classification (1998): I.2.11, I.2, D.2, F.3, I.6, C.3, J.2 ISSN 0302-9743 ISBN 3-540-40665-4 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2003 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin GmbH Printed on acid-free paper SPIN: 10928011 06/3142 543210
Preface 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 expe
Data Loading...
