关键词: 方程组, 工作流, 优化, 建模分析

Abstract: To solve correctness verifications of models, optimization of resource configurations and choices of activity instances in workflow systems, an algorithm with establishing equations was proposed. The equation was constructed in this algorithm to describe the constrains such as activity structure, resource configuration and time allocation. Objective function was established to describe the optimal objectives of workflow systems, and the optimal formula of resource configurations could be obtained. At the same time, equivalence relations were built to divide activity set of workflow process. Based on the partitions and objective functions, the optimal scheme of choices of activity instances was obtained. Thus the correctness and integrity of whole process was ensured, and the optimization of workflow process's structure and performance was realized.

Key words: equations, workflow, optimization, modeling analysis