Skip to main content
SpringerLink
Log in

Modeling Agent-Based Systems

  • Conference paper
  • First Online:
Formal Approaches to Agent-Based Systems (FAABS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1871))

Included in the following conference series:

Abstract

The agent-based systems have emerged from the necessity to manage complexity. Building reliable, maintainable, extensible, and re-usable systems that conform to their specifications requires modeling techniques that support abstraction, structuring, and modularity. The most widespread methodologies developed for the conventional software systems are various object-oriented approaches. They have achieved a considerable degree of maturity and are supported by a large community of software developers. The system architecture of object-oriented systems is based on the notion of objects, which encapsulate state information as data values and have associated behaviors defined by interfaces describing how to use the state information. Object oriented formal approach address almost all the steps in the process of designing and implementing a software system, providing a uniform paradigm across different system scales and implementation languages.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Jennings, N. R., Sycara, K., Woolridge, M.: A Roadmap of Agent Research and Development. In Autonomous Agents and Multi-Agent Systems, 1, 275–306, Kluwer Academic Publishers, Boston, 1998.

    Google Scholar 

  2. Labrou, Y., Finin, T., Peng, Y.: The Interoperability Problem: Mobile Agents and Agent Communication Languages. In Proceedings of HICCS 32, the 32th Hawaii International Conference on System Sciences, Jan. 1999.

    Google Scholar 

  3. Mandutianu, S., Cooperative Intelligent Agents for Mission Support. In Proceedings of IEEE Aerospace Conference, March 1999.

    Google Scholar 

  4. Mandutianu, S., Stoica, A.,: An Evolvable Multi-Agent Approach to Space Operation Engineering. In Proceedings of the International Conference on Multi-Agent Systems, July 1999.

    Google Scholar 

  5. Rao, A., Georgeff, M.: BDI Agents: From Theory to Practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, June 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Drive, Pasadena, CA, 91109-8099

    Sanda Mandutianu

Authors
  1. Sanda Mandutianu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. NASA Goddard Space Flight Center, Greenbelt, Maryland, 20771, USA

    James L. Rash , Walt Truszkowski  & Michael G. Hinchey ,  & 

  2. Science Applications International Corporation, 4001 Fairfax Drive, Suite 300, Airlington, VA, 22203, USA

    Christopher A. Rouff

  3. Naval Research Laboratory, 4555 Overlook Avenue, S.W., Washington, D.C., USA

    Diana Gordon

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mandutianu, S. (2001). Modeling Agent-Based Systems. In: Rash, J.L., Truszkowski, W., Hinchey, M.G., Rouff, C.A., Gordon, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2000. Lecture Notes in Computer Science(), vol 1871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45484-5_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-45484-5_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42716-2

  • Online ISBN: 978-3-540-45484-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation