基于过程代数的可变业务流程建模方法

为实现灵活的业务流程重组，提出了一种面向流程变化调整的业务流程模型。该模型从业务逻辑中抽取出流程相关性语义，用连接器的模式来实现一种可配置的流程属性。业务人员可以通过调整模型中的连接器对流程进行重新配置，从而实现业务流程重组的软件调整。给出了模型的过程代数描述，并介绍了建模步骤和流程调整方法。最后，以机场塔台调度流程的建模和调整过程为例，对相关问题进行了讨论。