1
William K Thompson, Paul C Davis: Hierarchical state machine generation for interaction management using goal specifications. Motorola, March 17, 2009: US07505951 (107 worldwide citation)

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 s ...


2
William K Thompson, Paul C Davis: Hierarchical state machine generation for interaction management using goal specifications. Motorola, Motorola, December 6, 2007: US20070282593-A1

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 s ...


3
Thompson William K, Davis Paul C: Hierarchical state machine generation for interaction management using goal specifications. Motorola, Thompson William K, Davis Paul C, LAMB James A, December 13, 2007: WO/2007/143264

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 generat ...