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