Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Formal Approaches to Agent-Based Systems

FAABS 2000: Formal Approaches to Agent-Based Systems pp 90–102Cite as

The Nepi2Programming System: A π-Calculus-Based Approach to Agent-Based Programming

  • Conference paper
  • First Online:

  • 306 Accesses

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

Abstract

We introduce a programming system Nepi2, which is based on a process algebraic framework called the π-calculus. The Nepi2 system supports programmers who wish to construct communicating software or agents. In this paper, we demonstrate programming in Nepi2. First, we write a metacircular interpreter, which enables the construction of a mobile agent framework. We then construct an entity for mobile agent systems, which is called a place agent. Finally, we give an example concerning an electronic marketplace.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W. R. Cockayne and M. Zyda, “Mobile Agents”, Manning Publications, 1997.

    Google Scholar 

  2. D. Wong, N. Paciorek, T. Walsh, J. DiCelie, M. Young and B. Peet, “Concordia: An Infrastructure for Collaborating Mobile Agents”, in MA 97, LNCS Vol. 1219, Springer, pp. 86–97, 1997.

    Google Scholar 

  3. P. Sewell, P. Wojciechowski and B. Pierce. “Location-Independent Communication for Mobile Agents: a Two-Level Architecture”, Technical Report 462, Computer Laboratory, University of Cambridge, 1999.

    Google Scholar 

  4. R. Milner, J. Parrow and D. Walker, “A Calculus of Mobile Processes, I and II”, Information and Computation, Vol. 100, pp. 1–40 and pp. 41–77, 1992.

    Article  MATH  MathSciNet  Google Scholar 

  5. R. Milner. “The Polyadic π-Calculus: a Tutorial”, Technical Report ECS-LFCS-91-180, LFCS, Department of Computer Science, Univ. of Edinburgh, 1991.

    Google Scholar 

  6. R. Milner. “Communication and Concurrency”, Prentice Hall International, 1989.

    Google Scholar 

  7. E. Horita and K. Mano. “Nepi2: A Network Programming Language Based on the π-calculus”, in COORDINATION 96, LNCS Vol. 1061, Springer, pp. 424–427, 1996.

    Google Scholar 

  8. E. Horita and K. Mano, “Nepi: A Network Programming Language Based on the π-Calculus”, ECL Tech. Report, Vol. 11933, NTT Communication Science Labs., 1995.

    Google Scholar 

  9. Y. Kawabe, K. Mano, E. Horita and K. Kogure, “Equivalence between Restriction and Name Creation in the π-Calculus” (in Japanese), The Second JSSST Workshop on Programming and Programming Languages (PPL2000), 2000.

    Google Scholar 

  10. E. Horita and K. Mano, “A Decentralized Protocol for Channel-Based Communication with Choice”, Tech. Report of IEICE, SS97-18, pp. 17–24, 1997.

    Google Scholar 

  11. D. Gelernter, “Generative communication in Linda”, ACM Transactions on Program Languages and Systems 7,1, pp. 80–112, January, 1985.

    Google Scholar 

  12. “The Jini Specification”, http://www.sun.com/jini.

  13. J. Padget and R. Bradford. “A π-calculus Model of a Spanish Fish Market— Preliminary Report —”, in Agent Mediated Electronic Commerce, LNAI Vol. 1571, Springer, pp. 166–188, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. NTT Communication Science Laboratories, 2-4, Hikaridai, Seika-cho, Soraku-gun, Kyoto, 619-0237, Japan

    Yoshinobu Kawabe, Ken Mano & Kiyoshi Kogure

Authors
  1. Yoshinobu Kawabe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ken Mano
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kiyoshi Kogure
    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

Kawabe, Y., Mano, K., Kogure, K. (2001). The Nepi2Programming System: A π-Calculus-Based Approach to Agent-Based Programming. 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_7

Download citation

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

  • 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