A Statechart is generated automatically from a set of goals for completion
of a data model. A set of states is generated corresponding to completion
states of the data model, an initial pseudo-state and a final state.
Transitions are generated from the initial pseudo-state to an empty state
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. The resulting Statechart may be used to manage
an interactive dialog to complete a data model having a set of data
fields.