Dynamically Synthesizing Distributed Applications From Architecture Specifications