A constraint violation occurring among plural workflows is eliminated before execution of the workflows. A state-transition-model generating unit generates a state transition model for execution of the workflows, by using plural process procedures and plural policies received by a receiving unit. A constraint-violation determining unit determines whether a constraint violation occurs when the workflows are executed, by using the state transition model and plural constraints received by the receiving unit. When it is determined that the constraint violation occurs, a workflow-definition altering unit alters any one or some of the process procedures, the policies, and the constraints. The state-transition-model generating unit generates a state transition model after alteration by using the process procedures and the policies applied with the alteration. The constraint-violation determining unit determines whether a constraint violation occurs by using the state transition model after the alteration and the constraints applied with the alteration. When it is determined that no constraint violation occurs, a display unit displays an alternative workflow definition on a monitor.
展开▼