7. The method of claim 6 , wherein the formal description includes procedures to be triggered as the live dialog progresses.
7. The method of claim 6 , wherein the formal description includes procedures to be triggered as the live dialog progresses. 8. The method of claim 7 , wherein the formal description includes script tags that surround scripting code for the task flow, and a trigger attribute that defines when the scripting code is executed.