| 摘要 |
A user operates a user interface to select a rule for executing the process of a work flow, which is stored in a personal data base or a shared data base, and sends the conditional part of the selected rule as the goal to a query portion. Then, the query portion successively executes the process of the work flow through the computation by the SLD contradiction. When the goal fails in the execution by the computation, the failure goal is transferred as a tapple to the tapple space. The tapple is solved by another query portion, and the result of executing the tapple is returned to the tapple space. If a rule for executing the tapple is not found, the task is processed by man or a user and the result of the processing is entered into the system. In answer to this, the system interprets that the task has been proved to be true, and continues the execution of the work flow process.
|
