Introducing the fair and logical trade project
Steven Orla Kimbrough, Alan S. Abrahams, Andrew J.I. Jones, David M. Eyers, Jean Bacon · International Journal of Business Process Integration and Management · 2009
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.