分布式业务流程实时一致性分析方法 (2013年)

业务流程的实时性是业务流程可靠运行的重要指标,实时一致性分析是保证业务流程高效执行的关键。针对分布式业务流程对实时性的要求,提出时间业务流程图的概念,并规定协作业务流程的组合建模方法。定义时间业务流程图的结构正确性,并给出正确性分析方法。在结构正确的基础上,对业务流程的实时性进行分析,判断协作业务流程的时间执行是否满足一致性,从而为保证业务流程的实时可信提供了一种有效的技术途径。