基于仿真方法验证IDEF3过程模型的有效性

经营过程建模中对模型的有效性验证是过程分析优化的基础。现有的过程模型有效性验证方法单纯追求算法的高效率,只能针对特定模型验证某些过程结构的合理性,不适合经营过程的复杂性需求。该文提出了一种基于仿真方法的有效性验证算法,在确保验证算法效率的基础上,能够验证扩展的IDEF3过程模型的3种逻辑错误:结构死锁、同步丢失和对象不匹配,从而不仅能够验证过程逻辑结构上的不合理,还能够对参与过程的对象所造成的不合理进行验证。

Verification of IDEF3 process models

In business process modeling, model verification is the basis for the analysis and optimization of business processes. However, existing verification methods mainly focus on algorithm efficiency and can only detect some structural conflicts in process models. So current methods are unable to verify complicated business process models. This paper presents an efficient verification method based on discrete event simulation technology that can detect three logic mistakes in IDEF3 process models: structural deadlock, lack of synchronization, and objects not matching each other. Therefore, the method recognizes not only structural conflicts, but also mistakes brought about by the objects participating in the processes.