Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

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

  • 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

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 to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

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