目前,业务流程管理已被广泛提出并被应用到企业流程管理及系统分析设计等智能化管理领域。其主要是对流程模型进行相关性分析,即它们的相互影响程度进行分析,从而得知它们对彼此行为的影响,再从中找出变化区域。但是由于大部分实际模型都有庞大复杂而冗余的体系,人们无法通过经验分析得到正确的答案,而如果用以往的求变化域的方法对大型复杂系统进行分析,不仅工作量大的惊人,而且无法对具有复杂对应的模型系统进行分析比较。由于移动互联环境下的电子商务流程需要满足多个用户的不同需求,需要根据实际需要选择性的对流程中的活动进行不同配置。配置流程模型已经被广泛提出并用来描述这一类型的流程模型。此外,由于大部分业务流程模型都是基于描述模型交互的初衷来建立的,对流程模型的配置也需要考虑到模型交互行为间的约束关系。针对具有复杂对应关系的模型系统变化域的分析问题,本文采用抽象的手段对具有复杂匹配关系的模型进行预处理,再对经过处理后模型进行合并。然后提取合并模型的摘要,并通过分析模型摘要与原模型的行为轮廓间的差异找出了原模型交互发生变化的区域。这样可以根据变化区域的行为语义分析了出现交互不兼容的原因。而且,本文通过用配置约束形式化地描述了交互的配置模型间的约束行为,提出了一个基于配置约束合并流程模型的方法,通过该方法可以得到一个带配置约束的合并模型,最后根据文中所给出的算法将该模型作为流程配置的参照模型用于寻找流程模型的变化域,这样排除了配置实例中不满足预设的配置约束情况的发生。通过将交互模型间的行为约束转化成可配置的流程模型配置上的约束,可以得到一个配置的合成体,合并模型通过分离配置的方式对不可行的配置方式做了限制,使之不能同时发生,这样有利于配置的正确性。通过该方法得出的带配置约束的合并模型可作为流程配置的参照模型用于寻找带约束的配置流程的变化域。该方法解决了以下问题：(1)将交互模型中不具有匹配关系的活动对间隐含的依赖关系通过配置约束的方式表示出来；(2)并通过合并配置模型的方法来保证配置满足这种约束；(3)通过比较合并模型的配置路径和配置实例的配置路径来寻找配置实例中出现的变化域。