We present two logics that allow specifying distributed information systems, emphasizing communication among sites. The low-level logic D0 offers features that are easy to implement but awkward to use for specification, while the high-level logic D1 offers convenient specification features that are not easy to implement. We show that D1 specifications may be automatically translated to D0 in a sound and complete way. In order to prove soundness and completeness, we define our translation as a simple map of institutions. Our result may be useful for making implementation platforms like CORBA easier accessible by providing high-level planning and specification methods for communication.