WORKFLOW DEFINITION CHANGING PROGRAM, WORKFLOW DEFINITION CHANGING METHOD, AND WORKFLOW DEFINITION CHANGING DEVICE

摘要

The constraint violation between a plurality of workflows is eliminated before the execution of the workflows. A state transition model generating section generates the state transition model when the workflows are executed by using a plurality of processing procedures and policies received by a reception section. A constraint violation judging section judges whether or not the constraint violation occurs when the workflows are executed by using the state transition model and the constraints received by the reception section. If the constraint violation judging section judges that the constraint violation occurs, a workflow definition changing section makes a change to any one or more of the processing procedures, the policies, and the constraints. The state transition model generating section generates the state transition model after the change by using the processing procedure and policy after the change. The constraint violation judging section judges whether or not the constraint violation occurs by using the state transition model and constraints after the change. If the constraint violation judging section judges that no constraint violation occurs, a display section allows the monitor to display an alternative workflow definition.