作者：黄贻望; 徐松金数据流活动业务流程扩展分枝树逻辑
摘要：在大数据环境下，业务流程的执行不断产生和消耗大量的数据，从而业务流程活动中数据的依赖将是设计和分析业务流程中的一个重要问题。为克服这个问题，提出了基于活动关联的数据流约束业务流程分析与验证模型，这种融合数据流的业务流程设计分析与验证将有助于提升业务流程管理与执行时的可靠性，归纳提取出业务流程中几种典型的数据流约束错误模式并使用扩展分枝树逻辑（ASK-CTL）给出相应的分析与验证仿真实验，表明方法具有一定的有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
