Kimbrough, Steven. OJones, Andrew. J.IEyers, David. M2023-05-232023-05-232009-01-012016-07-01https://repository.upenn.edu/handle/20.500.14332/42137We introduce our framework for logic-based composi- tional e-commerce interaction. We aim to provide open- source software which adds a light-weight formal messag- ing layer to business communications, to increase the ac- cessibility 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 pro- totype testing results.E-CommerceArticle