论文部分内容阅读
业务流程的优化是业务流程管理的核心内容之一,由于用户需求的复杂多变,采用已有方法难以对存在行为约束的模型进行优化,因此结合实际业务流程执行时的具体情况找到约束,通过添加配置信息进行优化。文章给出了手机充值流程源模型,列出对该模型的所有行为约束条件,通过添加相应的阻塞变迁和隐藏变迁对该模型进行优化。得出基于配置约束的手机充值系统优化分析方法并结合实例验证了其有效性。