Skip to main content
SpringerLink
Log in

A π-calculus Model of a Spanish Fish Market — Preliminary Report —

  • Conference paper
  • First Online:
Book cover Agent Mediated Electronic Commerce (AMET 1998)

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

Included in the following conference series:

Abstract

This paper reports an educational exercise in using the π-calculus to model components of an electronic marketplace. Specifically, we are looking at the Spanish fish market, since we have participated in the construction of several simulations of this scenario over the past 18 months and now feel it is time to prepare a more precise description. Our objectives in doing this were (i) to gain familiarity with the π-calculus (ii) to find out whether the π-calculus might provide a suitable basis for defining the behaviour of components in an electronic marketplace. It is not our intention at this stage to establish the correctness of the components or the completeness of the model: these will be addressed later using existing tools and by developing new ones. In summary, this is an experience report.

This work has been partially supported by EPSRC grant GR/K27957 (http://www.maths.bath.ac.uk/~jap/Denton) and the CEC/HCM VIM project, contract CHRX-CT93-0401 (http://www.maths.bath.ac.uk/~jap/VIM)

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Luca Cardelli and Andrew Gordon. Mobile ambients. http://www.cl.cam.ac.uk/users/adg/Research/Ambit/index.html.

  2. Jaron C. Collis and Lyndon C. Lee. Building electronic marketplaces with the zeus agent toolkit. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.

    Google Scholar 

  3. Joakim Eriksson, Niclas Finne, and Sverker Janson. Sics marketspace-an agent-based market infrastructure. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.

    Google Scholar 

  4. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In 7th International Conference on Concurrency Theory (CONCUR’96), pages 406–421, Pisa, Italy, August 26–29 1996. Springer-Verlag. LNCS 1119.

    Google Scholar 

  5. Pere Garcia, Eduard Gimenez, Lluis Godo, and Juan A. Rodriguez-Aguilar. Possibilistic-based design of bidding strategies in electronic auctions. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.

    Google Scholar 

  6. Steven Y. Goldsmith, Laurence R. Phillips, and Shannon V. Spires. A multi-agent system for coordinating international shipping. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.

    Google Scholar 

  7. Peter Henderson. Executable pi calculus (epi). http://diana.ecs.soton.ac.uk/ph/e-pi.htm.

  8. C.A.R. Hoare. Communcating Sequential Processes. Prentice Hall, 1985.

    Google Scholar 

  9. G. Kiczales, J. Lamping, A Mendhekar, C. Maeda, C Lopes, J-M. Longtier, and J. Irwin. Aspect-oriented programming. available via http://www.parc.xerox.com/spl/projects/aop/.

  10. Yannis Labrou and Tim Finin. A proposal for a new kqml specification. http://www.csee.umbc.edu/~jklabrou/publications/tr9703.ps, 1997. Also available as a UMBC technical report.

  11. Robin Milner. The Polyadic π-Calculus: a Tutorial. Preprint of Proceedings International Summer School on Logic and Algebra of Specification, 1991.

    Google Scholar 

  12. Uwe Nestmann. Calculi for mobile processes. available through http://www.cs.auc.dk/mobility/.

  13. P. Noriega and C. Sierra. Towards Layered Dialogical Agents. In Third International Workshop on Agent Theories, Architectures, and Languages, ATAL-96, 1996.

    Google Scholar 

  14. FIPA ACL. Foundation of Intelligent Physical Agents. Agent communication language. http://drogo.cselt.stet.it/_pa/spec/_pa97.htm, 1997.

  15. Benjamin C. Pierce. Foundational calculi for programming languages. In Allen B. Tucker, editor, Handbook of Computer Science and Engineering, chapter 139. CRC Press, 1996.

    Google Scholar 

  16. Benjamin C. Pierce and David N Turner. Pict: A Programming Language Based on the Pi-Calculus. Technical Report 476, Indiana University, March 1997.

    Google Scholar 

  17. J.A. Rodríguez, P. Noriega, C. Sierra, and J.A. Padget. FM96.5 A Java-based Electronic Auction House. In Second International Conference on The Practical Application of Intelligent Agents and Multi-Agent Technology: PAAM’97, 1997.

    Google Scholar 

  18. L G Valiant. A Bridging Model for Parallel Computation. Communications of the ACM, 33(8):103–111, August 1990.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematical Sciences, University of Bath, BATH, BA2 7AY, UK

    Julian Padget & Russell Bradford

Authors
  1. Julian Padget
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Russell Bradford
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INEGI, San Juan Mixcoac, Mexico, DF, 03720, Mexico

    Pablo Noriega

  2. IIIA, CSIC - Spanish Scientific Research Council, E-08193, Bellaterra, Catalonia, Spain

    Carles Sierra

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Padget, J., Bradford, R. (1999). A π-calculus Model of a Spanish Fish Market — Preliminary Report —. In: Noriega, P., Sierra, C. (eds) Agent Mediated Electronic Commerce. AMET 1998. Lecture Notes in Computer Science(), vol 1571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48835-9_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-48835-9_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65955-6

  • Online ISBN: 978-3-540-48835-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation