Constraint Networks for the Synthesis of Networked Applications