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.