HIERARCHICAL STATE MACHINE GENERATION FOR INTERACTION MANAGEMENT USING GOAL SPECIFICATIONS

摘要

A Statechart (300, 400) is generated automatically from a set of goals ₍200) for completion of a data model (100, 102). A set of states (304-312, 404-420) is generated corresponding to completion states of the data model, an initial pseudo-state (302) and a final state (312). Transitions are generated from the initial pseudo-state (302) to an empty state (304) of the set of states and between each state and its subset states. Outgoing transitions are generated from any state that satisfies at least one goal of the set of goals and a transition is generated from that state to the final state 312). The resulting Statechart may be used to manage an interactive dialog to complete a data model (100, 102) having a set of data fields.