The basis of an operation system is the connection among operands and operators. The connection state is specified sequentially by instruction codes, it is called control-driven. The next connection state is generated by the result of the operation, it is called reaction-driven. The operation starts when the operands change, it is called data/event-driven. The operation including connection changing for the formula automatically solving starts when any operand is unknown, it is called goal-driven. Reaction-driven is also data/event-driven and goal-driven, but control-driven is not.
The dynamic logic model is reaction-driven instead of control-driven.
