Text this: Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications