Using XML to build consistency rules for distributed specifications | Synapse