Authors: Steven O. Kimbrough, Alan S. Abrahams, Andrew J.I. Jones, David M. Eyers, Jean M. Bacon
Addresses: The Wharton School, University of Pennsylvania, 500 Jon M. Huntsman Hall, 3730 Walnut Street, Philadelphia, PA 19104-6340, USA. ' Pamplin College of Business, Virginia Tech (0234), 902 Prices Fork Road Suite 145, Blacksburg, VA 24061, USA. ' Department of Computer Science, King's College London, The Strand, London WC2R 2LS, UK. ' University of Cambridge, Computer Laboratory, William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK. ' University of Cambridge, Computer Laboratory, William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK
Abstract: We introduce our framework for logic-based compositional e-commerce interaction. We aim to provide open-source software which adds a lightweight formal messaging layer to business communications, to increase the accessibility of e-commerce infrastructure to smaller business players. In the process, we hope to develop a comprehensive theory of business communication. We present the logical structures and techniques we apply and provide initial prototype testing results.
Keywords: logic; e-commerce; formal messaging; business communication; electronic commerce; open source software; inter-organisational transactions; international transactions; fair trade; small and medium-sized enterprises; SMEs.
International Journal of Business Process Integration and Management, 2009 Vol.4 No.3, pp.174 - 186
Published online: 16 Jan 2010 *Full-text access for editors Access for subscribers Purchase this article Comment on this article