High specification text-to-synthesis for information systems