A Foundational Theory of Contracts for Multi-party Service Composition