SPECIFICATION AND DIALOGUE CONTROL THROUGH VISUAL REWRITING SYSTEMS