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)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Luca Cardelli and Andrew Gordon. Mobile ambients. http://www.cl.cam.ac.uk/users/adg/Research/Ambit/index.html.
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.
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.
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.
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.
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.
Peter Henderson. Executable pi calculus (epi). http://diana.ecs.soton.ac.uk/ph/e-pi.htm.
C.A.R. Hoare. Communcating Sequential Processes. Prentice Hall, 1985.
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/.
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.
Robin Milner. The Polyadic π-Calculus: a Tutorial. Preprint of Proceedings International Summer School on Logic and Algebra of Specification, 1991.
Uwe Nestmann. Calculi for mobile processes. available through http://www.cs.auc.dk/mobility/.
P. Noriega and C. Sierra. Towards Layered Dialogical Agents. In Third International Workshop on Agent Theories, Architectures, and Languages, ATAL-96, 1996.
FIPA ACL. Foundation of Intelligent Physical Agents. Agent communication language. http://drogo.cselt.stet.it/_pa/spec/_pa97.htm, 1997.
Benjamin C. Pierce. Foundational calculi for programming languages. In Allen B. Tucker, editor, Handbook of Computer Science and Engineering, chapter 139. CRC Press, 1996.
Benjamin C. Pierce and David N Turner. Pict: A Programming Language Based on the Pi-Calculus. Technical Report 476, Indiana University, March 1997.
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.
L G Valiant. A Bridging Model for Parallel Computation. Communications of the ACM, 33(8):103–111, August 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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