Next: Detailed State Charts Up: State Models Previous: Control flow based state Contents
State model synthesis based on operation effects proceeds by (1) a synthesis of a detailed version of StateChart and (2) transformation to a compact version if possible.