文件名称：流程异常的正式分类，用于工作流验证-研究论文
文件大小：602KB
文件格式：PDF
更新时间：2024-06-08 10:19:36
process anomalies process modeling structural
最近，研究人员已将更多的注意力放在验证工作流程模型中的结构异常的方法上，或者只是对工作流程进行验证。 但是，缺乏对流程异常进行系统化处理的方法，因此无法验证工作流验证方法和工具。 在本文中，我们调查了所有可能的过程异常，并使用图形形式主义正式定义了它们。 我们研究的结果是对过程异常进行分类，这是向过程建模和工作流验证的理论基础迈出的一步。