摘要 |
<p>A system for supporting a business process, which process is modeled as a set of activities relating to an end goal, each activity having zero or more preconditions and one or more postconditions, the system comprising an inference engine for inferring one or more desired activities whose preconditions are true and which have respective postconditions that must be true in order for the end goal to be reached, an activity execution module for executing each of the activities, a control module for repeatedly (a) causing the inference engine to infer one or more particular desired activities, and (b) causing the activity execution module to execute the particular inferred desired activities, until the end goal has been reached, and a user override module for allowing at any time a user to cause the activity execution module to execute any activity whose preconditions are true, to render one precondition or postcondition true, to declare one precondition or postcondition true and to declare a given precondition inapplicable to a given activity.</p> |