Towards a Compositional Approach to the Design and Verification of Distributed Systems